[Wikitech-l] Re: [Ops] Re: contint Jenkins maintenance Tue, 11 Jul 2023 08:00-9:30 UTC