diff options
author | https://www.google.com/accounts/o8/id?id=AItOawl9sYlePmv1xK-VvjBdN-5doOa_Xw-jH4U <Richard@web> | 2011-04-13 22:21:47 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2011-04-13 22:21:47 +0000 |
commit | 268f2dc710ad433f3ea622ff1422a86250312571 (patch) | |
tree | a944a0ad5dacc5d804d57f65aba507639bba31a5 /doc | |
parent | da05f77f7a0873cad2a380461c6e46832624fd3d (diff) |
Diffstat (limited to 'doc')
-rw-r--r-- | doc/forum/bainstorming:_git_annex_push___38___pull.mdwn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/forum/bainstorming:_git_annex_push___38___pull.mdwn b/doc/forum/bainstorming:_git_annex_push___38___pull.mdwn index a2d320e35..8a6c552b8 100644 --- a/doc/forum/bainstorming:_git_annex_push___38___pull.mdwn +++ b/doc/forum/bainstorming:_git_annex_push___38___pull.mdwn @@ -19,3 +19,10 @@ which would do git push Resulting in commands that are totally analogous to git push & pull: Sync all data from/to a remote. + +> Update: + +This is useful: + + git config [--global] alias.annex-push '!git pull && git annex add . && git annex copy . --to $REMOTE --fast --quiet && git commit -a -m "$HOST $(date +%F--%H-%M-%S-%Z)" && git push' + |