diff options
| -rw-r--r-- | Command/Sync.hs | 16 | ||||
| -rw-r--r-- | doc/git-annex.mdwn | 6 |
2 files changed, 12 insertions, 10 deletions
diff --git a/Command/Sync.hs b/Command/Sync.hs index 458a114df..790bf53b5 100644 --- a/Command/Sync.hs +++ b/Command/Sync.hs @@ -31,14 +31,14 @@ seek args = do !branch <- currentBranch let syncbranch = Git.Ref.under "refs/heads/synced/" branch remotes <- syncRemotes syncbranch args - return $ - [ commit - , mergeLocal branch - ] ++ - [ update remote branch | remote <- remotes ] ++ - [ mergeAnnex ] ++ - [ pushLocal syncbranch ] ++ - [ pushRemote remote branch syncbranch | remote <- remotes ] + return $ concat $ + [ [ commit ] + , [ mergeLocal branch ] + , [ update remote branch | remote <- remotes ] + , [ mergeAnnex ] + , [ pushLocal syncbranch ] + , [ pushRemote remote branch syncbranch | remote <- remotes ] + ] syncRemotes :: Git.Ref -> [String] -> Annex [Remote.Remote Annex] syncRemotes branch [] = defaultSyncRemotes branch diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn index 320453f18..3ca2ce177 100644 --- a/doc/git-annex.mdwn +++ b/doc/git-annex.mdwn @@ -126,7 +126,8 @@ subdirectories). one or more other repositories. The sync process involves first committing all local changes, then fetching and merging the `synced/master` and the `git-annex` branch from the remote repositories and finally pushing the - changes back to these remote branches. + changes back to these remote repositories. + You can use standard git commands to do each of those steps by hand, or if you don't want to worry about the details, you can use sync. @@ -134,7 +135,8 @@ subdirectories). `synced/master` branch. If you want to include/exclude a repository from this list, just create or delete this branch. - Note that sync does not transfer any file contents from or to the remote. + Note that sync does not transfer any file contents from or to the remote + repositories. * addurl [url ...] |