convert a github issue into a pull request