A PHP tool for running merge checks on Github pull requests