aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2016-08-08 15:56:07 +0200
committerJonas Smedegaard <dr@jones.dk>2016-08-08 15:56:07 +0200
commitcd4c2833bc503e1d406c8b3925afa26a5474c4ed (patch)
tree8183bbf2e63165b5b4a75ee4eadded77a0eb233f
parent13b3e0f1cb80b1bfc500967dc4b3d2f62a1ca625 (diff)
Fix and improve wording in publish.
-rw-r--r--USE.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/USE.md b/USE.md
index 93aed5e..f2e2f0e 100644
--- a/USE.md
+++ b/USE.md
@@ -60,8 +60,8 @@ and then push your local changes:
To publish a git repository initially created locally,
first create a new empty git publicly,
-then your existing local git where its new origin will be,
-and finally push your git into its new location:
+then tell your local git where its new origin will be,
+and finally push your local git into its new public location:
ssh [[!template id=githost]] git init --bare --shared /srv/git/[[!template id=githost]]/example.git
git remote add origin [[!template id=githost]]:/srv/git/[[!template id=githost]]/example.git