Eclipse Community Forums: EGit / JGit

Help

Home

Home » Eclipse Projects » EGit / JGit » An extra HEAD(Oddity not handled well by JGit)

Show: Today's Messages :: Show Polls :: Message Navigator

An extra HEAD [message #1384980]

Tue, 03 June 2014 12:53

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.

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Oct 30 23:35:13 GMT 2020

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter