bd808 added a comment.
We have an apt repo just for MediaWiki-Vagrant now (T125760: Create apt repo for MediaWiki-Vagrant to pull packages from <https://phabricator.wikimedia.org/T125760>) so that may make a backport easier to deal with. TASK DETAIL https://phabricator.wikimedia.org/T121326 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: ori, bd808 Cc: bd808, jayvdb, Aklapper, StudiesWorld, pywikibot-bugs-list, Tgr, codynguyen1116, Luke081515, mobrovac, jeremyb _______________________________________________ pywikibot-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/pywikibot-bugs
