This move should now be completed. If you see any errors still - other
than the change of SSH key - please validate that you have the new IP
address (204.145.120.222) - it could be excessive DNS caching.
If you have verified both the SSH key and the IP address and still see
problems, please let
Magnus Hagander mag...@hagander.net writes:
This move should now be completed.
Something weird seems to have happened to the gitweb service at the same
time, which broke some of my bookmarks. On investigation, I think it's
gotten pickier about the local-part of the URLs. For example
On Thu, Jul 7, 2011 at 17:09, Tom Lane t...@sss.pgh.pa.us wrote:
Magnus Hagander mag...@hagander.net writes:
This move should now be completed.
Something weird seems to have happened to the gitweb service at the same
time, which broke some of my bookmarks. On investigation, I think it's
On Thu, Jul 7, 2011 at 17:12, Magnus Hagander mag...@hagander.net wrote:
On Thu, Jul 7, 2011 at 17:09, Tom Lane t...@sss.pgh.pa.us wrote:
Magnus Hagander mag...@hagander.net writes:
This move should now be completed.
Something weird seems to have happened to the gitweb service at the same
Magnus Hagander mag...@hagander.net writes:
On Thu, Jul 7, 2011 at 17:09, Tom Lane t...@sss.pgh.pa.us wrote:
http://git.postgresql.org/gitweb/?p=postgresql.git OK
http://git.postgresql.org/gitweb?p=postgresql.git 404
Should be fixed with a redirect now.
Thanks, my
Sometime later this week, the community git server
(git.postgresql.org) will be migrated to a new server in the same
datacenter. This does *not* affect the master git server for the
project, just the anonymous mirror and those that run standalone
projects on it, such as pgAdmin.
When this move is
