On Tue, Apr 10, 2012 at 1:05 PM, Merlijn van Deen <valhallasw(a)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