[04:16:05] <wikibugs>	 10GitLab, 06collaboration-services, 13Patch-For-Review, 06Release-Engineering-Team (Radar): gitlab behind CDN - https://phabricator.wikimedia.org/T425441#11987429 (10Jelto) Persisting some discussion out of https://gerrit.wikimedia.org/r/c/operations/puppet/+/1282428:  It is possible to modify the ssh host...
[06:07:53] <wikibugs>	 10GitLab (Pipeline Services Migration🐤), 10Wikispeech-Jobrunner, 10Wikispeech-Text-to-Speech: Migrate Wikispeech services to GitLab - https://phabricator.wikimedia.org/T344741#11987543 (10Sebastian_Berlin-WMSE) Relevant repos have been moved [[ https://gitlab.wikimedia.org/repos/mediawiki/services/speechoid...
[06:10:57] <wikibugs>	 10GitLab (Pipeline Services Migration🐤), 10Wikispeech-Jobrunner, 10Wikispeech-Text-to-Speech: Migrate Wikispeech services to GitLab - https://phabricator.wikimedia.org/T344741#11987548 (10Jelto) Thank you for the migration!  > Is there a proper way to archive the Gerrit repos?  Yes Gerrit admins can do that....
[08:52:22] <wikibugs>	 10GitLab (CI & Job Runners), 06collaboration-services, 06Release-Engineering-Team, 13Patch-For-Review: Remove buildkit helper image docker/dockerfile-copy from build pipeline - https://phabricator.wikimedia.org/T321316#11987827 (10Jelto)
[12:35:52] <wikibugs>	 10GitLab (CI & Job Runners), 06collaboration-services, 06Release-Engineering-Team, 13Patch-For-Review: Remove buildkit helper image docker/dockerfile-copy from build pipeline - https://phabricator.wikimedia.org/T321316#11988556 (10jnuche)