An automated code linting bot that integrates various code lint tools with github pull requests.