quoted
have a convention here than configurability. You would not want "git" to
be called "guitar" for some users, just because they happen to like that
name more, either, right?
You're correct; but we're talking about branch names not program names.
And the analogy is flawed. I don't want git to be called guitar, however I'd
be very upset if I got
$ mv git guitar
Error: git is conventionally called guitar
Andy
--
Dr Andy Parkins, M Eng (hons), MIEE