I'd love to provide a patch but I have no clue where that repo ended up nowadays. Shrug.

• https://gitlab.wikimedia.org/search?search=phabricator-extensions shows no results.
• https://phabricator.wikimedia.org/source/phab-extensions/ shows it is inactive - that would have been D1193.
• https://gerrit.wikimedia.org/g/phabricator/extensions states it is a mirror, and after git clone ssh://aklapper@gerrit.wikimedia.org:29418/phabricator/extensions.git I get

$:acko\> git review -R
Your change was committed before the commit hook was installed.
Amending the commit to add a gerrit change id.
fatal: Upload denied for project 'phabricator/extensions'
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

@Aklapper As far as I can see, the repo is indeed rPHEX. The others are just mirrors. You shall activate the repo and push to https://phabricator.wikimedia.org/diffusion/PHEX/phab-extensions.git (the only read & write URI), to the branch Phabricator is using. Are you able to activate it? I can do it for you if you can't. Sincerely.

Hi, thanks! :) It should remain inactive. I was looking for T191182#8576350 I guess, so the repository is in GitLab and not rPHEX. Yes it's confusing...

I see. I guess it's https://gitlab.wikimedia.org/repos/phabricator/extensions then. Commit history does match.

Next attempt: https://gitlab.wikimedia.org/repos/phabricator/extensions/-/merge_requests/2 (though I'm unsure about the branch)

aklapper merged https://gitlab.wikimedia.org/repos/phabricator/extensions/-/merge_requests/2

Remove superseded migration from Gerrit to Differential from README