Jeremy Morton [off-list ref] writes:
I've noticed that the default behaviour of 'git push' is to push to
*all* branches that have a remote branch set up.
[...]
Wouldn't it be better for git's default push behaviour (at least with
the '--force' option) to be just to push to the current branch in the
current repo? To push to all branches you could have an
'--allbranches' option.
See push.default in git-config(1).
--
Thomas Rast
trast@{inf,student}.ethz.ch