How to check if a pull request is merged in some branch of the target repository?
Excuse me but this may be a noob question but it jsut crossed my thoughts and I think it is worth to fix my ideas and get a relevant explanation from some experts. I remember (I may be wrong) that when I submitted some pull requests to some repository, when the PR is merged to the master (or other branch), I'm notified about that action and when accessing the PR url I can see a sort of This PR has been merged into... message. Just browsing an old issue, I can no more see that kinf of message and what is only seen is that the issue is closed: No merge message and I had to go through the blame