I am running centralized git-annex exclusively.
Similar to
git annex get
I'd like to have a
git annex put
which would put all files on the default remote(s).
My main reason for not wanting to use copy --to is that I need to specify the remote's name in this case which makes writing a wrapper unnecessarily hard. Also, this would allow
mr push
to do the right thing all by itself.
Going one step further, a --min-copy could put all files so that numcopies is satisfied. --all could push to all available ones.
To take everything another step further, if it was possible to group remotes, one could act on the groups. "all" would be an obvious choice for a group that always exists, everything else would be set up by the user.
This begs the question: What is the default remote? It's probably not the same repository that git's master branch is tracking (ie, origin/master). It seems there would have to be an annex.defaultremote setting.
BTW, mr can easily be configured on a per-repo basis so that "mr push" copies to somewhere:
push = git push; git annex push wherever
In my case, the remotes are the same, but adding a new option could make sense.
And while I can tell mr what to do explicitly, I would prefer if it did the right thing all by itself. Having to change configs in two separate places is less than ideal.
I am not sure what you mean by
git annex push
as that does not exist. Did you mean copy?