diff options
author | Jonas Smedegaard <dr@jones.dk> | 2016-08-08 15:56:07 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2016-08-08 15:56:07 +0200 |
commit | cd4c2833bc503e1d406c8b3925afa26a5474c4ed (patch) | |
tree | 8183bbf2e63165b5b4a75ee4eadded77a0eb233f | |
parent | 13b3e0f1cb80b1bfc500967dc4b3d2f62a1ca625 (diff) |
Fix and improve wording in publish.
-rw-r--r-- | USE.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |