Magnus Hagander <magnus(at)hagander(dot)net> wrote: > The cleanest is probably if I wipe the repo on git.postgresql.org> for you, and you then re-push from scratch. Does thta work for> you? Sure. Thanks. -Kevin