Re: [HACKERS] GitHub mirror is not updating

2012-03-12 Thread Magnus Hagander
On Mon, Mar 12, 2012 at 21:53, Marti Raudsepp wrote: > Hi list, > > I don't know who's maintaining the PostgreSQL GitHub mirror, but it > hasn't been updated for 6 days now: > https://github.com/postgres/postgres > > Just letting you know. Thanks for letting us know. I think it's because we misse

[HACKERS] GitHub mirror is not updating

2012-03-12 Thread Marti Raudsepp
Hi list, I don't know who's maintaining the PostgreSQL GitHub mirror, but it hasn't been updated for 6 days now: https://github.com/postgres/postgres Just letting you know. Regards, Marti -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription

[HACKERS] Github mirror

2010-01-07 Thread Magnus Hagander
By popular request, I've set up a job that will push a mirror of the master branch of our git repository (git.postgresql.og/git/postgresql.git) to github. The main reason is visibility, and the ability for "github folks" to work with their tools. (Trivial job, literally two lines in an existing she