On Thu, Dec 30, 2010 at 15:28, Robert Haas <robertmh...@gmail.com> wrote: > On Thu, Dec 30, 2010 at 8:31 AM, Magnus Hagander <mag...@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/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
