Github is only a mirror of the code base-we dont use it for pull requests.
If you want to submit a change, put a unified diff in
https://tools.wmflabs.org/gerrit-patch-uploader/ or submit the change
directly to
gerrit.wikimedia.org (using the user account from
wikitech.wikimedia.org). There is more info at
https://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker
--
bawolff
On Saturday, July 1, 2017, Greg Rundlett (freephile) <greg(a)freephile.com>
wrote:
On Sat, Jul 1, 2017 at 2:41 AM, Jean Valjean
<jeanvaljean2718(a)gmail.com>
wrote:
> I came up with something a little safer and easier for those who just
want
to delete old
revisions from one namespace:
https://www.mediawiki.org/
wiki/User:KryptoKronic/deleteOldRevisions.php
I don't know how easy it is to get pull requests merged, but if you want
to
get these improvements into core, you could click the
'edit' pen at
https://github.com/wikimedia/mediawiki/blob/master/maintenance/deleteOldRev…
and submit a pull request.
_______________________________________________
MediaWiki-l mailing list
To unsubscribe, go to:
https://lists.wikimedia.org/mailman/listinfo/mediawiki-l