[Bug 782433] New: Disallow branches named HEAD

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:

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]