Linking a pull request to an issue