[Pywikibot-commits] [Gerrit] ...core[master]: [tests] exclude proofwiki test on github