git annex push

[Richard Hartmann]

Hi all,

this, or some modification, might be useful for you:

    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'


Richard