[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [cdt-dev] Any problems pushing to Gerrit?
|
On 07.09.2012 00:59, Vladimir Prus wrote:
That's because default fetch spec does not fetch it. Try this:
$ git fetch origin +refs/for/*:refs/remotes/origin/for/*
remote: Counting objects: 39, done.
remote: Compressing objects: 100% (14/14), done.
remote: Total 21 (delta 9), reused 0 (delta 0)
Unpacking objects: 100% (21/21), done.
From git://git.eclipse.org/gitroot/cdt/org.eclipse.cdt
* [new branch] refs/for/master -> origin/for/master
And I believe here's the commit that was pushed to the wrong place:
commit 6988a0a0bd6896c492ebf86b9c19a9f910a07f6c
Author: Andrew Gvozdev <angvoz.dev@xxxxxxxxx>
Date: Tue Sep 4 17:34:05 2012 -0400
bug 388755: Fix EFSExtensionProvider to return conventional path on Windows as C:/path (without extra leading slash)
Change-Id: I82507744f069d774579f0bdd301e210df8157305
Is this enough for whomever has the power to fix this?
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?
--
Vladimir Prus
CodeSourcery / Mentor Graphics
http://www.mentor.com/embedded-software/