Open, Needs TriagePublic
Actions

Assigned To

Authored By

	Reedy
	Wed, Jan 28, 9:24 PM

Description

https://doc.wikimedia.org/cover-extensions/WebAuthn/ should be deleted, and the CI job for WebAuthn turned off

Related Changes in Gerrit:

	Subject	Repo	Branch	Lines +/-
	Zuul: Turn off extension-(coverage\|codehealth) for WebAuthn	integration/config	master	+0 -2
	Zuul: [mediawiki/extensions/WebAuthn] Archive	integration/config	master	+4 -7

Sure.

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

TBurmeister subscribed.