[00:29:54] <wmf-insecte>	 Project mediawiki-core-doxygen build #15612: 04STILL FAILING in 11 min: https://integration.wikimedia.org/ci/job/mediawiki-core-doxygen/15612/
[01:31:30] <wmf-insecte>	 Yippee, build fixed!
[01:31:30] <wmf-insecte>	 Project mediawiki-core-doxygen build #15613: 09FIXED in 13 min: https://integration.wikimedia.org/ci/job/mediawiki-core-doxygen/15613/
[03:36:44] <wmf-insecte>	 Yippee, build fixed!
[03:36:44] <wmf-insecte>	 Project mwcore-phpunit-coverage-master build #4729: 09FIXED in 36 min: https://integration.wikimedia.org/ci/job/mwcore-phpunit-coverage-master/4729/
[10:41:50] <wikibugs>	 10GitLab (Project Migration), 10Tool-toolwatch: Migrate toolwatch tool to gitlab - https://phabricator.wikimedia.org/T410850#11416963 (10Reputation22) >>! In T410850#11399265, @Gopavasanth wrote: > @Reputation22 thanks for creating this! I was lately thinking of migrating the repo, and this gave me an addition...