diff options
author | 2015-08-04 16:23:21 -0400 | |
---|---|---|
committer | 2015-08-04 16:23:21 -0400 | |
commit | 3e9fb146e39acf95da1419e2bec0cfe5769002ed (patch) | |
tree | 48e3b79413133e12895a57bcb41f96e19d5bd49b /doc/todo/git_annex_push | |
parent | 3c4c8833cd207cd98d6a353a8821b0a5c176d06f (diff) |
comment
Diffstat (limited to 'doc/todo/git_annex_push')
-rw-r--r-- | doc/todo/git_annex_push/comment_1_54c5494ec21621298b3111cd7c2325b1._comment | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/todo/git_annex_push/comment_1_54c5494ec21621298b3111cd7c2325b1._comment b/doc/todo/git_annex_push/comment_1_54c5494ec21621298b3111cd7c2325b1._comment new file mode 100644 index 000000000..608f1f936 --- /dev/null +++ b/doc/todo/git_annex_push/comment_1_54c5494ec21621298b3111cd7c2325b1._comment @@ -0,0 +1,19 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2015-08-04T20:19:22Z" + content=""" +`git annex sync --content` does what you want, only it also does a pull and +a merge from remotes. + +I don't know that wanting to only push, w/o pull and merge, is common +enough to make a separate command for it. + +There's also the problem that to push the git-annex branch, it really +makes sense to first pull/merge from the remote. Otherwise, the push +is not likely to work as well. And too, it makes sense to update the +git-annex branch from remotes in order to know what files that have, so +that info can be better used to decide which files to send to them -- +especially when preferred content might make some file not be sent to all +remotes, depending on which other remotes contain the file. +"""]] |