[Dune] New SSL certificate for dune-project.org

[Steffen Müthing]

Dear Dune users and developers,

we finally have a working SSL setup on our server (a combination of fixing the configuration and getting a
certificate signed by a well-known authority), so now you can use most of our services over HTTPS as well as
HTTP.

There is one exception: The Git repositories are only available over HTTPS for authenticated access, i.e. for
developers. We added this restriction to keep the server load down, and since there is nothing sensitive being
transferred during anonymous Git access, it seems like a good tradeoff to us.
On the other hand, if you are a developer with access rights, feel free to adjust your remote URLs to https. :-)

Finally, there is a minor snag for anyone still using SVN (are you still out there, apart from dune-web?): Subversion
has a problem traversing the signature chain of the new certificate, so you will have to manually accept the new
certificate once.

If there are any problems, please let us know.

Happy (and secure) browsing, pushing and bug-reporting,

Steffen

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20130814/e3badffb/attachment.sig>