On Tue, Apr 10, 2012 at 1:05 PM, Merlijn van Deen valhallasw@arctus.nl wrote:
This is not possible right now. Still not possible, but easier to workaround when we upgrade to 2.3.
What about creating a new repo and pushing the old repository there? There are only two gerrit items for both projects, and for both projects both items have been merged.
That's what we're going to do in 2.3. With 2.3 we gain the ability to "hide" repos we don't want showing up, which will work for now in lieu of deletion.
I'm afraid of confusing people by having 2 repos up at the same time :\
2.3 is on the radar for the very near future, so let's just hang tight for now.
-Chad