Neal Becker wrote:
git config --global push.default tracking
seems to have fixed things. (Still don't know what this magic means)
Git can push to one or many branches. You have to specify which branch
to push - it can't read your mind. :)
Without that config option you need:
$ git push f13/master
With that config option:
$ git push
Defaults to whatever branch you are currently tracking.