WE NO LONGER USE GITHUB!!!
- Bug reports should now go to https://phabricator.wikimedia.org/tag/proveit-gadget/
- Wiki documentation is now at https://commons.wikimedia.org/wiki/Help:Gadget-ProveIt
- Development is now done through Gerrit, see https://gerrit.wikimedia.org/g/mediawiki/gadgets/ProveIt