[14:45:07] <wikibugs>	 10GitLab (Project Migration), 10Quarry: Move quarry to gitlab - https://phabricator.wikimedia.org/T308978 (10RhinosF1)