Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » EGit » 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 Shapiro
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: Thu Oct 23 00:13:28 GMT 2014

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

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