Change 691748 had a related patch set uploaded (by Jforrester; author: Skizzerz):

[integration/config@master] Zuul: [mediawiki/extensions/MediaWikiAuth] Mark repo as archived

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

Change 691748 merged by jenkins-bot:

[integration/config@master] Zuul: [mediawiki/extensions/MediaWikiAuth] Mark repo as archived

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

Mentioned in SAL (#wikimedia-releng) [2021-05-15T21:09:55Z] <James_F> Zuul: [mediawiki/extensions/MediaWikiAuth] Mark repo as archived T282955

Presumably you want to abandon the five open patches?

Not objecting or anything, but is there a reason for this? Extensions being split out, or this one isn't used in Wikimedia? I'm not regularly involved in development so am not aware of any codebase-wise changes (have been poking at Wikibase/WBStack recently for an upgrade, though).

In T282955#7090564, @Jdforrester-WMF wrote:

Presumably you want to abandon the five open patches?

I'm going to be going through the open patches, fixing them up, and committing them to the new repository (crediting the original authors appropriately). So for the time being I'd like to keep them open so that I know which ones still need to be worked on.

Change 691749 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/extensions/MediaWikiAuth@master] Empty repo and indicate that it's archived

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

Change 691749 merged by Jforrester:

[mediawiki/extensions/MediaWikiAuth@master] Empty repo and indicate that it's archived

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

In T282955#7090569, @GreenReaper wrote:

Not objecting or anything, but is there a reason for this? Extensions being split out, or this one isn't used in Wikimedia? I'm not regularly involved in development so am not aware of any codebase-wise changes (have been poking at Wikibase/WBStack recently for an upgrade, though).

It's a fair question! Mostly I'm (slowly) going to be splitting out the extensions that I've been providing the primary maintenance on so that I have full control over CI and who has the ability to merge commits. I've kept Isarra and Jack Phoenix as maintainers on the new repository as they have both been involved with submitting and reviewing patches to it recently and they should be able to keep that access.

I haven't seen you recently send any commits to this repo or do Code Review, but if you'd like to maintain your access please let me know.

Change 691750 had a related patch set uploaded (by Skizzerz; author: Skizzerz):

[mediawiki/extensions@master] Remove archived extension MediaWikiAuth

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

Change 691750 merged by Jforrester:

[mediawiki/extensions@master] Remove archived extension MediaWikiAuth

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

Change 691747 had a related patch set uploaded (by Skizzerz; author: Skizzerz):

[translatewiki@master] Add GitHub repo MediaWikiAuth

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

In T282955#7090574, @Skizzerz wrote:

In T282955#7090564, @Jdforrester-WMF wrote:

Presumably you want to abandon the five open patches?

I'm going to be going through the open patches, fixing them up, and committing them to the new repository (crediting the original authors appropriately). So for the time being I'd like to keep them open so that I know which ones still need to be worked on.

Ah, sorry, I abandoned them so that I could mark the repo as read-only. They're here: https://gerrit.wikimedia.org/r/q/project:mediawiki/extensions/MediaWikiAuth+is:abandoned+-age:1y

In T282955#7090579, @Skizzerz wrote:

I haven't seen you recently send any commits to this repo or do Code Review, but if you'd like to maintain your access please let me know.

I think we can leave it for now. No need to keep permissions around that aren't being used, and it's been a while since I knew my way around the codebase. If there are any issues, I'll probably file them on GitHub, as I have for WBStack.

Glad to see it has 1.36 support, as I plan to move WikiFur to that this year, and we still get people with accounts from the Wikicities days even though it's been well over a decade. 😼

Change 692023 had a related patch set uploaded (by Raimond Spekking; author: Raimond Spekking):

[translatewiki@master] [MediaWiki Auth] Archived, moved to GitHub

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

Change 692023 merged by Raimond Spekking:

[translatewiki@master] [MediaWiki Auth] Archived, moved to GitHub

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

Change 691747 merged by jenkins-bot:

[translatewiki@master] Add GitHub repo MediaWikiAuth

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

Change 735371 had a related patch set uploaded (by Abijeet Patro; author: Abijeet Patro):

[translatewiki@master] MediaWiki Auth: Move support to appropriate section

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

Change 735371 merged by jenkins-bot:

[translatewiki@master] MediaWiki Auth: Move support to appropriate section

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