I'd like to alter the description on https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/AccountAudit but since it's marked as read only it won't even let me update a patch to the refs/meta/config branch to fix it. Can I be temporarily added to that gerrit repo or someone could please unlock it for a while, or add

[ARCHIVED] MediaWiki extension AccountInfo ?

Thanks.

@Umherirrender I think that you can alter the description of the Gerrit project? Thanks.

In T180286#3752497, @MarcoAurelio wrote:

@Umherirrender I think that you can alter the description of the Gerrit project? Thanks.

I have changed it

Thanks. When the GitHub mirror gets deleted this can be closed.

Why do we delete github mirrors of archived extensions? If someone was interested in ancient history, why not let them read it.

We've been doing that for some time, but don't ask me for the reasons as I just follow the process :)

In any case, we still have Phabricator diffusion mirrors for anyone interested, which can be reached in the gerrit project thanks to the its-phabricator thing.

Although I can understand that some prefer GitHub over Diffusion (GitHub has better features for some things).

In T180286#3752633, @Bawolff wrote:

Why do we delete github mirrors of archived extensions? If someone was interested in ancient history, why not let them read it.

The source is still available via Gerrit and Phabricator. The main point is trying to declutter our Github mirror to being stuff people care about.

It also makes searching (which people do a lot of and beats the hell outta Phab) way more useful as you eliminate false positives.