On Thu, Dec 30, 2010 at 15:28, Robert Haas <robertmhaas@gmail.com> wrote:
> On Thu, Dec 30, 2010 at 8:31 AM, Magnus Hagander <magnus@hagander.net> wrote:
>> Are we ready to drop the old git mirror? The one that's still around
>> (as postgresql-old.git) from before we migrated the main repository to
>> git, and thus has the old hashes around.
>
> I see no reason to drop that ever, or at least not any time soon.
> What is it costing us?
Some disk space, so almost nothing. And the potential that people grab
it by mistake - it adds a bit to confusion.
Looking at it from the other side, what's the use-case for keeping it?
If you want to "diff" against it or something like that, you can just
do that against your local clone (that you already had - if you
didn't, you shouldn't be using it at all)...
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/