Commit 45f584090818c59ba27ca95b1e930a41c424d6f1

Edward Thomson 2018-01-20T15:15:40

Merge pull request #4484 from pks-t/pks/fail-creating-branch-HEAD branch: refuse creating branches named 'HEAD'