jenkins-admin IRC bot (jenkins-hosting channel on IRC) github-comment-ops on GitHub rss2twitter bot (Twitter)
[Final message] The 3 services are back online and working as intended on their new cluster.
[Initial message] A migration of the bots from prodpublick8s cluster to privatek8s cluster is planned on Thursday 9th of March 2023 at 9h00 UTC, the corresponding services will be down for less than one hour:
See https://github.com/jenkins-infra/helpdesk/issues/2844#issuecomment-1460023896 for more details.
Last updated: March 9, 2023 at 12:05 PM