[13:29:40] bd808: thanks a lot, and apologies for the late response! it looks like the Git repo has not been created via https://toolsadmin.wikimedia.org/ [13:29:52] because https://toolsadmin.wikimedia.org/tools/id/commonsreconcile does not show any Git repository associated with the tool [13:30:06] should I: [13:30:41] 1/ ask someone to somehow link the gerrit repo to the Toolforge project, after the fact (not sure this is possible / desirable) [13:30:59] 2/ or just ask to migrate the Gerrit repo to Gitlab independently of that [13:31:44] 3/ or just stop bothering people and just wait for such repos to be migrated in batch, like you did for the Diffusion repos (which is totally an option for me) [16:20:32] pintoch: toolsadmin doesn't know how to track git repos from gerrit so that part is not surprising. [16:22:40] if you would like to do your #2 yourself, it should be possible. You can use https://toolsadmin.wikimedia.org/ to make a new, empty repo for your tool in gitlab. Then you can manually push your gerrit repo's history into the new gitlab repo. You would need help from a gerrit admin to disable the gerrit repo as a final step. [16:24:04] If you have a local clone of any repo, you can add a new remote pointing to an empty git repo and then use `git push --clone` to send everything your working copy knows about up into the new remote. [16:24:39] * bd808 should maybe write up a short wiki page on how to do this [19:05:20] 10GitLab (Project Migration), 10WMCH-Infrastructure: Create new GitLab project group: wikimedia-ch - https://phabricator.wikimedia.org/T318342 (10brennen) Hi @valerio.bozzolan - created the group with you as an owner. Didn't see a GitLab user for @Ilario; you can add them to the group once they've logged in.