https://doc.wikimedia.org/cover-extensions/WebAuthn/ should be deleted, and the CI job for WebAuthn turned off
T303495: Merge WebAuthn extension into OATHAuth merged the extension into OATHAuth
https://doc.wikimedia.org/cover-extensions/WebAuthn/ should be deleted, and the CI job for WebAuthn turned off
T303495: Merge WebAuthn extension into OATHAuth merged the extension into OATHAuth
Change #1234503 had a related patch set uploaded (by Reedy; author: Reedy):
[integration/config@master] Zuul: Turn off extension-(coverage|codehealth) for WebAuthn
Mentioned in SAL (#wikimedia-releng) [2026-01-28T21:26:29Z] <James_F> jforrester@doc1004:~$ sudo -u doc-uploader rm -rf /srv/doc/cover-extensions/WebAuthn # T415832
Change #1234505 had a related patch set uploaded (by Jforrester; author: Jforrester):
[integration/config@master] Zuul: [mediawiki/extensions/WebAuthn] Archive
Change #1234503 abandoned by Jforrester:
[integration/config@master] Zuul: Turn off extension-(coverage|codehealth) for WebAuthn
Change #1234505 merged by jenkins-bot:
[integration/config@master] Zuul: [mediawiki/extensions/WebAuthn] Archive
Mentioned in SAL (#wikimedia-releng) [2026-04-30T20:14:27Z] <James_F> Zuul: [mediawiki/extensions/WebAuthn] Archive, for T415832 / T303495
Mentioned in SAL (#wikimedia-releng) [2026-04-30T20:16:32Z] <James_F> jforrester@doc1004:~$ # sudo -u doc-uploader rm -rf /srv/doc/cover-extensions/WebAuthn/ # T415832