Explicity name local/remote branches when pushing

A recent Git version changed the default push behavior which broke being
able to push from a differently-named local branch.