Re: Error with GIT Repository

* Andrew Dunstan (andrew(at)dunslane(dot)net) wrote:
> I don't see why not. Buildfarm members are going to have to reset their
> repos when we finally cut over in a few months. Luckily, this is a
> fairly painless operation - blow away the repo and change the config
> file and the script will resync as if nothing had happened.

Should we stop bothering to offer http://git.postgresql.org then..? Or
do we expect it to get fixed and work correctly once we cut over and
rebuild? Also, perhaps we could list the git-hub option on the wiki
(http://wiki.postgresql.org/wiki/Other_Git_Repositories)?

(and, yea, it's the same me)

Thanks,

Stephen