push: prefer the local branch when selecting a corresponding remote branch