[01:33:25] <wikibugs>	 10GitLab (Project Migration), 06Community-Tech, 06translatewiki.net, 10WS Export, 13Patch-For-Review: Migrate ws-export repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395398#11112297 (10Samwilson) 05Resolved→03Open Oops, missed a bit: https://gitlab.wikimedia.org/toolforge-repos/wsex...