Skip to main content



      Home
Home » Eclipse Projects » EGit / JGit » An extra HEAD(Oddity not handled well by JGit)
An extra HEAD [message #1384980] Tue, 03 June 2014 08:53
Eclipse UserFriend
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 Jul 17 15:01:12 EDT 2025

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

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

Back to the top