A web application to easily convert GitHub issues to pull requests