Seriously though, this is annoying, how do I make

git push

do

git push bionic bionic:master

automatically? It refuses to push because the remote branch is named differently, useless piece of .

@juliank "git push -u bionic bionic:master" should make it work for subsequent pushes, I think?