diff options
author | https://www.google.com/accounts/o8/id?id=AItOawnpdM9F8VbtQ_H5PaPMpGSxPe_d5L1eJ6w <Rafal@web> | 2011-07-03 14:39:42 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2011-07-03 14:39:42 +0000 |
commit | e6ca68250e1be5f092de1bc5f2c40f5838785aea (patch) | |
tree | a91f0a9cfd56c026e562ad2d03dfff1c73cd56ad | |
parent | d97cc2fd52fab7a18d5c06a008c4d532615babef (diff) |
Added a comment: git annex fetch
-rw-r--r-- | doc/forum/new_microfeatures/comment_6_31ea08c008500560c0b96c6601bc6362._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/forum/new_microfeatures/comment_6_31ea08c008500560c0b96c6601bc6362._comment b/doc/forum/new_microfeatures/comment_6_31ea08c008500560c0b96c6601bc6362._comment new file mode 100644 index 000000000..868e9677c --- /dev/null +++ b/doc/forum/new_microfeatures/comment_6_31ea08c008500560c0b96c6601bc6362._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawnpdM9F8VbtQ_H5PaPMpGSxPe_d5L1eJ6w" + nickname="Rafaƫl" + subject="git annex fetch" + date="2011-07-03T14:39:41Z" + content=""" +I'm not sure it is worth adding a command for such a small feature, but I would certainly use it: having something like \"git annex fetch remote\" do \"git fetch remote && git annex copy --from=remote\", and \"git annex push remote\" do \"git push remote && git annex copy --to=remote\". And maybe the same for a pull operation? +"""]] |