Re: [cdt-dev] Any problems pushing to Gerrit?

[Marc Khouzam <marc.khouzam@xxxxxxxxxxxx>]

Thanks Vladimir for figuring this out!

You were right that EGit fetches refs/heads branches and not refs/for.
When I added that spec manually, I got to see the bad branch.

I then did the
  git push origin :refs/for/master
which got rid of the branch (thanks Alex for making me feel safe to do it :))

... and Gerrit works again :)

BTW, the bad branch could not be seen straight from the Git repo on the web
(I had looked for it).
How did you find the for/master branch?  Did you type it in directly in the URL box?

Thanks again!

Marc

________________________________________
From: cdt-dev-bounces@xxxxxxxxxxx [cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Alex Blewitt [alex.blewitt@xxxxxxxxx]
Sent: September 6, 2012 5:06 PM
To: CDT General developers list.
Subject: Re: [cdt-dev] Any problems pushing to Gerrit?

On 6 Sep 2012, at 22:04, Vladimir Prus wrote:

I actually believe anybody with commit access can do this:

git push origin :refs/for/master

to delete this ref on the server. Anybody wants to give it a try?

Yes, this should have the desired effect - but it will leave an empty direction 'refs/for' on the server. Whether that has an impact or not I don't know.

The Git log shows the push being incorrectly applied to the Git repo rather than Gerrit:

http://git.eclipse.org/c/cdt/org.eclipse.cdt.git/log/?h=for/master

Alex