Allow overriding the default name of the default branch#656

dscho wants to merge 9 commits into

gitgitgadget:mastergitgitgadget/git:masterfrom

dscho:default-branch-name-optiondscho/git:default-branch-name-optionCopy head branch name to clipboard