25 Nov
2010
25 Nov
'10
9:04 a.m.
On Wed, Nov 24, 2010 at 15:57, Eric Smith <eric@trueblade.com> wrote:
I'd suggest deleting the /repos/ URIs eventually (as in before the end of the year). I don't see the need to keep them around and have the maintenance burden.
Maybe, but it's currently like three lines in a script, not as if there's a huge maintenance burden.
Cheers,
Dirkjan