GitHub issues can have an associated Pull Request and vice versa. It would be helpful to be able to access a pull request's closing issue number, or the issue number of a pull request from its closing issue.