Last modified: 2013-09-14 07:25:14 UTC
Recently, several refs are not accessible through the git command-line, although the WebUI shows them. The following refs are know to be affected: refs/changes/36/79336/10 (2013-09-04 23:24 mediawiki/extensions/Flow) refs/changes/83/82783/1 (2013-09-05 01:02 mediawiki/extensions/MassMessage) refs/changes/96/82796/1 (2013-09-05 03:55 mediawiki/extensions/OAuth) * The web UI allows to show diffs, so it seems the commits did get stored in gerrit's backend. Only the ref seems missing. * Fetching fails for both, ssh as well as https transport. * Up to now all of those patch sets were sent to gerrit, after gerrit's switch to ytterbium. * Rebasing the patch set, allows to mitigate the problem.
Tried git fetch origin refs/changes/*:refs/changes/* got lots of them but refs/changes/36/79336/10 is notably missing: $ ls ../.git/modules/Flow/refs/changes/36/79336/ 1 2 3 4 5 6 7 8 9 (not present in packed refs, either)
For me, the 'gerrit' remote is also out of date. $ git fetch origin $ git fetch gerrit $ git log --oneline -1 gerrit/master feff1fb Merge "Improve welcome dialog support for large fonts" $ git log --oneline -1 origin/master 47545a5 Remove no-insertion metadata corner case from `ve.dm.Transaction.pushReplace()` This makes git review unhappy, of course...
Damage isn't as widespread as I feared: http://p.defau.lt/?h77fp6ucbNckf1mMsypoIg Will work on resolving these.
*** Bug 53836 has been marked as a duplicate of this bug. ***
*** Bug 53890 has been marked as a duplicate of this bug. ***
The list of commit at http://p.defau.lt/?h77fp6ucbNckf1mMsypoIg doesnt seem to have have https://gerrit.wikimedia.org/r/#/c/82633/4 in where gerrit says the commit was merged but it never actually made it to git.. Remerged with https://gerrit.wikimedia.org/r/#/c/83398/ If this commit was missing from the list is it not possible many more also are?
(In reply to comment #6) > The list of commit at http://p.defau.lt/?h77fp6ucbNckf1mMsypoIg doesnt seem > to > have have https://gerrit.wikimedia.org/r/#/c/82633/4 in where gerrit says the > commit was merged but it never actually made it to git.. > > Remerged with https://gerrit.wikimedia.org/r/#/c/83398/ > > If this commit was missing from the list is it not possible many more also > are? This one's fixed. I've not been able to find any others than the ones mentioned here.
