[02:14:25] 10GitLab (Pipeline Services MigrationšŸ¤), 10ircservserv: Migrate ircservserv-config to GitLab - https://phabricator.wikimedia.org/T344744#9997486 (10bd808) The target repo could pretty easily be https://gitlab.wikimedia.org/toolforge-repos/ircservserv-config and created via #Striker. [03:45:41] 10GitLab (Pipeline Services MigrationšŸ¤), 10ircservserv: Migrate ircservserv-config to GitLab - https://phabricator.wikimedia.org/T344744#9997518 (10Legoktm) Yeah, let's do it, and the source code too. [09:59:16] 10GitLab (Pipeline Services MigrationšŸ¤), 10Math, 10Texvcjs: Migrate texvcjs to GitLab - https://phabricator.wikimedia.org/T348384#9997921 (10Physikerwelt) 05Openā†’03Declined As announced on the mailinglist. gerrit will continue to exist. Thus, it's probably best to only use gitlab for mathoid, which h... [16:12:20] 10GitLab-Application-Security-Pipeline, 10Security Team AppSec, 06Security-Team, 13Patch-For-Review, 07Security: Attempt to condense trivy scanning output and avoid false positive exit code - https://phabricator.wikimedia.org/T367440#9998962 (10sbassett) >>! In T367440#9990781, @mmartorana wrote: > As fo... [21:09:08] 10GitLab (Pipeline Services MigrationšŸ¤), 10ircservserv: Migrate ircservserv-config to GitLab - https://phabricator.wikimedia.org/T344744#9999625 (10bd808) 05Openā†’03In progress a:03bd808 [23:39:14] 10GitLab (Pipeline Services MigrationšŸ¤), 10ircservserv, 13Patch-For-Review: Migrate ircservserv-config to GitLab - https://phabricator.wikimedia.org/T344744#9999804 (10bd808) Once @Legoktm and/or @JJMC89 approve and/or merge my pending merge requests we can start tearing down the gerrit repos.