summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4 <https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4@web>2015-08-09 03:04:31 +0000
committerGravatar admin <admin@branchable.com>2015-08-09 03:04:31 +0000
commit8f179d701670e0e72dbc1cef69213ebb8ebfbca6 (patch)
tree4509063cdba478c44028515923627dc247c4862e
parent7145a4078e1b9e820cb39a518e00c26e04e2bf0a (diff)
Added a comment
-rw-r--r--doc/todo/git_annex_push/comment_2_67938223c42c2a81dbfd32cd8a6a39c2._comment7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/todo/git_annex_push/comment_2_67938223c42c2a81dbfd32cd8a6a39c2._comment b/doc/todo/git_annex_push/comment_2_67938223c42c2a81dbfd32cd8a6a39c2._comment
new file mode 100644
index 000000000..757824cb8
--- /dev/null
+++ b/doc/todo/git_annex_push/comment_2_67938223c42c2a81dbfd32cd8a6a39c2._comment
@@ -0,0 +1,7 @@
+[[!comment format=mdwn
+ username="https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4"
+ subject="comment 2"
+ date="2015-08-09T03:04:31Z"
+ content="""
+ indeed pull/merge ( ie sync) would often be needed. but the same in regular git workflow - we can't push if remote has new changes. so we know that we need to \" git pull\" ( or alternative merge dance). my whining here is pretty much about dichotomy between regular git command and accompanying annex commands for simple typical workflows - i need to educate people much more beyond \" in your typical use case, when you all collaborate on this repo, just use git annex add to place big files under annex control, and then git annex push to push all your changes\". then if annex push checked first that push of annex branch can't happen and that annex merge is due, and let user know to run it first - they will do, and things will remain clear. now there is a lot of annex uniquely named commands which do not \" correlate\" with git ones even for simple use cases, which makes adoption harder imho.
+"""]]