On fre, 2010-10-01 at 16:26 +0200, Magnus Hagander wrote:
> Personally, I don't see any advantage at all of git.postgresql.org
> over github for a development repository. Others may have different
> opinions, of course.
My personal objection is merely that it was apparently semi-unilaterally
decided to change the project name to "postgres" there. I don't want to
go down that road ...