The bot which validates and comments on PRs, squashs commits and merges submissions.
Couple reasons: we wanted something even faster than @jimaek (he usually took a about a minute whereas the bot is under a second), bigger than @jimaek (checks more things than a human can), better than @jimaek (can squash commits before merging), and stronger than @jimaek (the bot defers to other mods for help if unsure) =D
Could of be done, but it would have been much, much slower to validate and be difficult to support issue comment hooks (actions when a mod wants a pr squashed) and auto merging. The nice thing about bot is it only interacts with the Github API and avoids cloning the repo most of the time.
Born out of a drunk weekend adventure to replace @jimaek with the github API, github3.py, and the jsDelivr API
Note: squashing requires git-extras
pip install -r requirements.txtAdjust config.yml as necessary (tokens, user name, repo clone path, etc)
Run server on port 9000
./run.py
#Background
nohup ./run.py &./cli <pull-request-number>