Will buildd.debian.org remain on https only?
-----BEGIN PGP SIGNED MESSAGE-----
[Please CC me on answer, I'm not subscribed]
While cleaning up the website, we noticed that http://buildd.debian.org/
redirects to https://buildd.debian.org/ (which is fine), but we wonder
if http is definitely dead, or if it will rise again in the future.
I don't mind to update links on the website, but prefer to ask prior
doing the changes.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
-----END PGP SIGNATURE-----