@Jdforrester-WMF Just a note that indeed adding extensions to mediawiki/{extensions,skins}.git is an usually missed step and since I'm on a break I am no longer monitoring the repo nor the mediawiki page where requests for new repositories are made. I made some time ago an entry on the mediawiki instructions page so repository creators don't forget to add them.

There are some scripts in the rMEXT repo to sync. the extensions/skins repos. However they are not working as expected, as archived/read only repos are re-added again, plus Chad H. though they should be updated to use the Gerrit RESTApi instead (cfr. T194318).

My advice is to check https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests and add the missing submodules. That's how I have been operating. Unless you find a way to automate this a little bit.

CC to @QChris as frequent repository creator as well. He may be willing to help or be aware of this.

Thanks for the explanation. I'll manually fiddle for this one, at least.

Change 512431 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions@master] Add the new WebAuthn extension's repo

https://gerrit.wikimedia.org/r/512431

Change 512431 merged by Jforrester:
[mediawiki/extensions@master] Add the new WebAuthn extension's repo

https://gerrit.wikimedia.org/r/512431