diff options
author | 2013-11-19 12:20:07 +0000 | |
---|---|---|
committer | 2013-11-19 12:20:07 +0000 | |
commit | c17d60004989a61f7f7bca3b48bb88dea3e5c9d3 (patch) | |
tree | d9bed42f377dd4d05b67c2a61cf143ae87b40569 | |
parent | 8539cd03a0b141a62989a8f421544d1699735483 (diff) |
-rw-r--r-- | doc/sync.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sync.mdwn b/doc/sync.mdwn index ade34d48d..37b2b1b45 100644 --- a/doc/sync.mdwn +++ b/doc/sync.mdwn @@ -7,7 +7,7 @@ That works fine, if you don't mind having a central repository. But it can be harder to use git in a fully decentralized fashion, with no central repository and still keep repositories in sync with one another. -You have to remember to pull from each remote, and merge the appopriate +You have to remember to pull from each remote, and merge the appropriate branch after pulling. It's difficult to *push* to a remote, since git does not allow pushes into the currently checked out branch. |