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@freephile.com wrote:
On Sat, Jul 1, 2017 at 2:41 AM, Jean Valjean jeanvaljean2718@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/deleteOldRevi...
and submit a pull request. _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l