Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

request github.com/wikimedia/mediawiki-extensions-Purge to be created #1

Closed
adrelanos opened this issue Mar 13, 2023 · 7 comments

Comments

@adrelanos
Copy link

I don't know how that works but could you please request https://github.com/wikimedia/mediawiki-extensions-Purge to be created if feasible?

It has some advantages such as bot by wikimedia auto updating dependencies, submitting translations and auto branching for the various mediawiki releases.

@kizule
Copy link

kizule commented Mar 13, 2023

wikimedia/mediawiki-extensions-* are created by WMF as mirror from Gerrit, when repository gets created on Gerrit.

@AlPha5130
Copy link
Owner

Yes, those repos are mirrors from https://gerrit.wikimedia.org, and this repo does not need it. The only concerning thing is translation, which requires creating a ticket in Phabricator.

@kizule
Copy link

kizule commented Mar 13, 2023

Actually, I guess we can switch updating translations from Hutchy68/Purge to your repo. What do you think? I can try to make it for you.

@AlPha5130
Copy link
Owner

That will be very helpful! Thank you for the work.

@kghbln
Copy link

kghbln commented Jun 19, 2023

Created a pull to get this one into code search: MWStake/nonwmf-extensions#53

@labster
Copy link

labster commented Feb 10, 2024

That was merged, so I think this issue can be closed.

@AlPha5130
Copy link
Owner

Closed as it was included in code search.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

5 participants