[09:11:31] <wikibugs>	 10GitLab (Project Migration), 06Community-Tech, 10Wikimedia OCR: Migrate wikimedia/wikimedia-ocr from GitHub to GitLab - https://phabricator.wikimedia.org/T420317#11962486 (10Samwilson)
[09:30:29] <wikibugs>	 10GitLab (Project Migration), 06Community-Tech, 10Wikimedia OCR: Migrate wikimedia/wikimedia-ocr from GitHub to GitLab - https://phabricator.wikimedia.org/T420317#11962549 (10Samwilson) 05Open→03Resolved The remaining occurrences of `wikimedia-ocr` in wikis are historical and look like they don't nee...
[09:32:20] <wikibugs>	 10GitLab (Project Migration), 06Community-Tech, 10Wikimedia OCR: Migrate wikimedia/wikimedia-ocr from GitHub to GitLab - https://phabricator.wikimedia.org/T420317#11962577 (10Samwilson)