Will buildd.debian.org remain on https only?

[David Prévot <david@tilapin.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

[Please CC me on answer, I'm not subscribed]

Hi,

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.

Regards

David

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkzVVvIACgkQ18/WetbTC/qwtwCfZWSLB4Ud8a4KClQDE+BjAiOm
gswAoJPbOCNvzE3uFlfNJDWee1yynqfQ
=lHrk
-----END PGP SIGNATURE-----