diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawme63-Q4pahQsIS1nNvXgAc3N5kq8y0GMQ <Thomas@web> | 2013-11-19 12:20:07 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 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. |