Hi all 👋🏽,

I would like to decommission "mirror.gruenehoelle.nl" some-time still this year.

It has been a great run, and honor to serve the Jenkins community, but unfortunately the server will be required for other projects.

Cheers!