diff options
author | http://joey.kitenet.net/ <joey@web> | 2011-12-10 19:43:04 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2011-12-10 19:43:04 +0000 |
commit | 6cf28585b66264e174eee45496e01d23667e0d20 (patch) | |
tree | 4e26f1781e3db88af5243bdbc82ed5b1e8ad8501 | |
parent | c5267802f38eb020edee8143d5a097296232bb35 (diff) |
Added a comment
-rw-r--r-- | doc/forum/pure_git-annex_only_workflow/comment_3_9b7d89da52f7ebb7801f9ec8545c3aba._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/forum/pure_git-annex_only_workflow/comment_3_9b7d89da52f7ebb7801f9ec8545c3aba._comment b/doc/forum/pure_git-annex_only_workflow/comment_3_9b7d89da52f7ebb7801f9ec8545c3aba._comment new file mode 100644 index 000000000..9b6e6d7c4 --- /dev/null +++ b/doc/forum/pure_git-annex_only_workflow/comment_3_9b7d89da52f7ebb7801f9ec8545c3aba._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="http://joey.kitenet.net/" + nickname="joey" + subject="comment 3" + date="2011-12-10T19:43:04Z" + content=""" +Git can actually push into a non-bare repository, so long as the branch you change there is not a checked out one. Pushing into `remotes/$foo/master` and `remotes/$foo/git-annex` would work, however determining the value that the repository expects for `$foo` is something git cannot do on its own. And of course you'd still have to `git merge remotes/$foo/master` to get the changes. + +Yes, you still keep the non-bare repos as remotes when adding a bare repository, so git-annex knows how to get to them. + +I've made `git annex sync` run the simple script above. Perhaps it can later be improved to sync all repositories. +"""]] |