Replying to @phermens

@phermens 1. That sounds like a bug in the tool,
if you can't have a different name for certain branches. 2. Sure. I think there
are better names which have less ambiguity nevertheless.

Fri, 23 Nov 2018 22:37:07 UTC