On Tue, Sep 21, 2010 at 20:28, Peter Eisentraut <pete...@gmx.net> wrote: > On tis, 2010-09-21 at 20:04 +0200, Magnus Hagander wrote: >> The cleanest is probably if I wipe the repo on git.postgresql.org for >> you, and you then re-push from scratch. > > We probably need a solution that doesn't require manual intervention for > everyone separately.
Are there really that many? If nothing else, it's a good way to figure out which repos are actually used ;) -- 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
