site/etc, branch masterWeb Site and Infrastructure
https://www.monitoring-plugins.org/repositories/site/atom?h=master2026-07-03T12:46:35ZDisable Coverity2026-07-03T12:46:35ZHolger Weissholger@zedat.fu-berlin.de2026-07-03T12:46:35Zurn:sha1:f9b7f42011d17058af9e0691080dfce956252a84
It seems our Coverity setup stopped working a decade ago.
Nginx: Always add "www" prefix to domain2025-01-01T10:45:58ZHolger Weissholger@zedat.fu-berlin.de2025-01-01T10:45:58Zurn:sha1:7dfac6e873f0d907ff5c8bcd1d7d37909bac2806
Offering the same contents under two domains can be bad for search
engine ranking.
Personally I'd prefer omitting the "www", but doing that might break
e.g. Mailman's virtual hosting, so we'd have to check things first.
Update Nginx configuration2025-01-01T10:41:11ZHolger Weissholger@zedat.fu-berlin.de2025-01-01T01:16:24Zurn:sha1:78c2d2c599bc358446cd5deb667f6e78e77b8024Remove Procmail filter for plugins@ address2016-11-29T17:27:11ZHolger Weissholger@zedat.fu-berlin.de2016-11-29T17:27:11Zurn:sha1:b92a28a5fe38436fecd20b32b2ba1e68521f6430
We no longer forward GitHub notifications to the mailing list.
Remove StartSSL certificate2016-11-29T17:23:09ZHolger Weissholger@zedat.fu-berlin.de2016-11-29T17:23:09Zurn:sha1:a0e978dc078a72b1224a011defd0d905e5062dc8
We switched from StartSSL to Let's Encrypt. The certificate is now
updated via Cron.
Update web site certificate2016-09-07T12:01:16ZHolger Weissholger@zedat.fu-berlin.de2016-09-07T12:01:16Zurn:sha1:3ed8d0edf4900dcef7e48568404de80478757e21
The old certificate will expire soon.
Drop "maint" branch2015-10-08T10:23:32ZHolger Weissholger@zedat.fu-berlin.de2015-10-08T10:23:32Zurn:sha1:7055a8e4bd3653d2cf3faf042f45d5900fab3f13
Don't build snapshots from the "maint" branch, and don't push it to
Coverity Scan. We're going to drop it in favor of "maint-x.y" branches.
Update StartSSL CA/intermediate certificates2015-09-16T13:36:29ZHolger Weissholger@zedat.fu-berlin.de2015-09-16T13:36:29Zurn:sha1:593092f95240b236c0913eef9b5fbe1f38be74a1
Use the SHA-2 versions of the StartSSL CA/intermediate certificates.
Use custom DH parameters and limit TLS ciphers2015-09-16T13:23:44ZHolger Weissholger@zedat.fu-berlin.de2015-09-16T13:23:44Zurn:sha1:ee41383f6108ac841e1b253322b623034849a524Update web site certificate2015-09-16T13:14:46ZHolger Weissholger@zedat.fu-berlin.de2015-09-16T13:14:46Zurn:sha1:fffa2d3d3a2bbf9525bfdee170d2d2ea49545f49
The old certificate expired.