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) <[email protected]> wrote: > On Sat, Jul 1, 2017 at 2:41 AM, Jean Valjean <[email protected]> > 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/deleteOldRevisions.php > and submit a pull request. > _______________________________________________ > MediaWiki-l mailing list > To unsubscribe, go to: > https://lists.wikimedia.org/mailman/listinfo/mediawiki-l > _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
