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.