![Is it possible to find out, via the GitHub API, if an issue has been closed via a pull request - Stack Overflow Is it possible to find out, via the GitHub API, if an issue has been closed via a pull request - Stack Overflow](https://i.stack.imgur.com/avXXd.png)
Is it possible to find out, via the GitHub API, if an issue has been closed via a pull request - Stack Overflow
GitHub - ForbesLindesay/pull-request: All the tools you need to commit to GitHub repos via the API and create pull requests
![Jenkins Github Pull Request Builder Plugin throwing user authentication error · Issue #810 · jenkinsci/ghprb-plugin · GitHub Jenkins Github Pull Request Builder Plugin throwing user authentication error · Issue #810 · jenkinsci/ghprb-plugin · GitHub](https://user-images.githubusercontent.com/25192925/109916373-840b1b80-7cd9-11eb-980a-7154ca5f5989.png)
Jenkins Github Pull Request Builder Plugin throwing user authentication error · Issue #810 · jenkinsci/ghprb-plugin · GitHub
![It's unsafe to retry merge when GitHub's pull request merge API returns a 500 error · Issue #397 · chdsbd/kodiak · GitHub It's unsafe to retry merge when GitHub's pull request merge API returns a 500 error · Issue #397 · chdsbd/kodiak · GitHub](https://user-images.githubusercontent.com/1929960/82333532-d7afb100-99b4-11ea-8f3d-f7c2dfd464dd.png)