aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDrew DeVault <ddevault@vistarmedia.com>2018-07-10 10:33:22 -0400
committerDrew DeVault <ddevault@vistarmedia.com>2018-07-10 10:33:22 -0400
commit8c2a53c2a2458905f65a25244b5a0fc9a3e10b8f (patch)
tree03418e497c51fd64db0a4ed5af3439f16a955ac0
parenta38af26bce11dddfa5719144227623ec6d17d979 (diff)
downloadsr.ht-docs-8c2a53c2a2458905f65a25244b5a0fc9a3e10b8f.tar.gz
Mention that you can push to create repos
-rw-r--r--git.sr.ht/index.md4
1 files changed, 3 insertions, 1 deletions
diff --git a/git.sr.ht/index.md b/git.sr.ht/index.md
index 21fc1f4..c26a315 100644
--- a/git.sr.ht/index.md
+++ b/git.sr.ht/index.md
@@ -23,7 +23,9 @@ profile](/meta.sr.ht#profile).
Creating new repositories is done on the [create
page](https://git.sr.ht/create), which you can access from any page via the
-navigation on the top right.
+navigation on the top right. You can also create a new repository by pushing to
+one that does not yet exist, and clicking the link which is printed in the `git
+push` output to complete the creation process.
The *name* and *description* fields are used to describe your repository to the
public. The *visibility* field will change how your repository is shown on the