| An extra HEAD [message #1384980] |
Tue, 03 June 2014 08:53 |
Eclipse User |
|
|
|
Recently a Git novice on our team pushed a branch called 'HEAD' to the server. C Git effectively ignores this extra HEAD, so the user's error ends up being harmless.
JGit, on the other hand, gets into a peculiar state. Every other fetch reports that the corresponding local branch is behind by X commits, where X is the distance between the bogus HEAD branch and the HEAD symbolic reference. Another fetch will then make everything sane again.
Obviously this is a user error, but misunderstanding how 'HEAD' works in Git is not at all uncommon, and not only among novices.
So it would be nice if JGit could deal with this case more cleanly. Maybe it should just disallow the creation of a branch called HEAD, just as it disallows other kinds of name patterns.
|
|
|
Powered by
FUDForum. Page generated in 0.28811 seconds
Home