Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » EGit / JGit » An extra HEAD(Oddity not handled well by JGit)
An extra HEAD [message #1384980] Tue, 03 June 2014 12:53
R Shapiro is currently offline R ShapiroFriend
Messages: 386
Registered: June 2011
Senior Member
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.

Previous Topic:$HOME/.config/git/ignore for ignore entries
Next Topic:How to clone a SSH repository
Goto Forum:

Current Time: Sun May 16 23:55:26 GMT 2021

Powered by FUDForum. Page generated in 0.02294 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top