A simple web app to update commit status of GitHub pull requests based on Jenkins build status