On Tue, Sep 21, 2010 at 20:28, Peter Eisentraut <peter_e@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/