Reply to 1064971340996730880

@awoods @heiglandreas I use a different name all day and I never need to specify it.

When I clone from GitHub I am already on that branch (which is set as default on GitHub).

It's no extra effort for me.