Replying to @awoods

@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.

Tue, 20 Nov 2018 20:38:30 UTC1