Re: GIT move

So git.postgresql.org offers nothing but git hosting, right? Do you
see no value in at least mirroring there from github? This would be a
one-liner, and easily cron-able. I guess the downside is that
currently there seems to be no way to indicate that the
git.postgresql.org repo is *not* the canonical one and that mirrored
updates may lag.

Other than that, github sounds good. With the pages feature (
http://pages.github.com/ ), it should even be possible to move large
parts of the website there. For what it's worth, I see no need for a
-commits list.

Barring any unforeseen problems, the timeline looks good to me. The
keyword expansion turned out to be a cvs2git bug, but the maintainer
committed a fix; I'll try that tonight.
---
Maciek Sakrejda | System Architect | Truviso

1065 E. Hillsdale Blvd., Suite 215
Foster City, CA 94404
(650) 242-3500 Main
www.truviso.com