GMP repo serving

Torbjorn Granlund tg at
Sat Dec 7 01:23:44 UTC 2013

In order to get repository web access under the https hat, I have moved
the URL (yet again).  The repositories are now at

The web visible repos are rsynced from the live repositories to a
read-only location.  There is a delay of a few minutes now, this will be
fixed by letting a checkin hook trigger these rsyncs.

The old location works again after some weeks of
blackhole behaviour.  The intermediate works, but
goes to the live repository for now, but that should change after a DNS
TTL times out.

I believe all of the contents can now be accessed over https.
Any http connection will be redirected to https.  Plain old ftp
downloads still work, but the same files are preferably accessed at

Please let us know if something doesn't work.


More information about the gmp-devel mailing list