[07:37:00] <wikibugs>	 10GitLab (Project Migration), 06Community-Tech, 10Wikimedia OCR: Migrate wikimedia/wikimedia-ocr from GitHub to GitLab - https://phabricator.wikimedia.org/T420317#11939348 (10Samwilson) Updated some wikis: * https://wikitech.wikimedia.org/w/index.php?title=Nova_Resource%3AWikisource%2FWikimedia_OCR&diff=2416...
[09:08:55] <wikibugs>	 10GitLab (CI & Job Runners), 06cloud-services-team, 06collaboration-services: webservice-cli package deb gitlab CI job went from 9 minutes to 27 minutes - https://phabricator.wikimedia.org/T426827 (10fgiunchedi) 03NEW