[Bug 782433] New: Disallow branches named HEAD

["sysadmin" (GNOME Bugzilla) <bugzilla gnome org>]

Bug ID	782433
Summary	Disallow branches named HEAD
Classification	Infrastructure
Product	sysadmin
Version	unspecified
OS	Linux
Status	NEW
Severity	normal
Priority	Normal
Component	Git
Assignee	sysadmin-maint@gnome.bugs
Reporter	qdlacz@gmail.com
QA Contact	sysadmin-maint@gnome.bugs
GNOME version	---

Created attachment 351537 [details] [review]
Bans HEAD branches

I pushed by mistake a branch named recently with `git push origin master:HEAD`
(instead of `git push origin HEAD:master`). It should not be allowed (we
already ban tags with that name).

Patch attached, should do the trick, though is rather hard to test.

---

      You are receiving this mail because:

• You are watching the QA Contact of the bug.
• You are watching the assignee of the bug.