summaryrefslogtreecommitdiff
path: root/doc/todo/git_annex_push
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-08-04 16:23:21 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-08-04 16:23:21 -0400
commit3e9fb146e39acf95da1419e2bec0cfe5769002ed (patch)
tree48e3b79413133e12895a57bcb41f96e19d5bd49b /doc/todo/git_annex_push
parent3c4c8833cd207cd98d6a353a8821b0a5c176d06f (diff)
comment
Diffstat (limited to 'doc/todo/git_annex_push')
-rw-r--r--doc/todo/git_annex_push/comment_1_54c5494ec21621298b3111cd7c2325b1._comment19
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.
+"""]]