[04:44:36] 10GitLab (Project Migration), 06Community-Tech, 10CopyPatrol: Migrate CopyPatrol repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395401#11231956 (10Samwilson) > Create/import repo to https://gitlab.wikimedia.org/cloudvps-repos/copypatrol Is that a normal group for these? I'd have put it at... [07:11:10] 10GitLab (Project Migration), 10tool-wscontest, 13Patch-For-Review: Move wscontest source code to GitLab - https://phabricator.wikimedia.org/T324410#11232081 (10A_smart_kitten) [07:41:21] 10GitLab (Project Migration), 06Community-Tech, 10CopyPatrol: Migrate CopyPatrol repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395401#11232137 (10JJMC89) > I'd have put it at https://gitlab.wikimedia.org/toolforge-repos/copypatrol CopyPatrol is no longer a Toolforge tool. [07:57:06] 10GitLab (Project Migration), 06Community-Tech, 10CopyPatrol: Migrate CopyPatrol repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395401#11232165 (10Samwilson) I know, but there is still a tool account called `copypatrol` that we can use for the repository. This is how we do it for [[https://g... [08:14:03] 10GitLab (Project Migration), 06Community-Tech, 10CopyPatrol: Migrate CopyPatrol repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395401#11232222 (10JJMC89) I'd guess that's because most VPS projects don't host their code in GitLab. We (#CopyPatrol maintainers) should not have the code under... [10:30:27] 10GitLab (Project Migration), 06Community-Tech, 10CopyPatrol: Migrate CopyPatrol repo from GitHub to GitLab - https://phabricator.wikimedia.org/T395401#11232692 (10Samwilson) If you don't want to migrate the repo then it doesn't need to be, as far as I know. (I was only looking at this because I'm moving a f... [16:01:02] 10GitLab (CI & Job Runners), 06Release-Engineering-Team, 07Essential-Work: buildkit v0.25.0 released - https://phabricator.wikimedia.org/T406144 (10dancy) 03NEW