Allow to correct a pull request in a user profile

[OlegShteynbuk]

Sometimes a manually merged pull request could be displayed as a closed/rejected one. In my profile, a manually merged PR pydata/pandas-datareader#364 is next to the successfully merged one, which is so nicely displayed that the difference is difficult not to notice.

I have contacted GitHub support team in the hope that there is a way to correct how manually merged PR is displayed, below is their response:

GitHub tracks manual merges when the SHAs that are committed to the base branch match the SHAs that are part of the Pull Request -- however if the SHAs change because of a local rebase or squash, the manual merge will not be tracked.

We don't currently have a feature that would allow for changing that Pull Request to display a merge state on GitHub.com and the behavior here is intended, but we've made a note of your request around this so that the team can consider it when implementing future improvements to merging PRs on GitHub.

There are two open issues with proposed solutions. The first one is a UI solution and the second one is a console solution:

• Explicit "mark as merged" option in pull request UI #2
• support merge keyword in commits in order close PRs as merged from console. #548

The first issue has been open for over 4 years.

This feature could be made available only to support team, or a designated user, or with some other restrictions. With all the good intentions there should be a way to correct a mistake.

If you are a software developer a PR could well be the most important part of your profile, and you don't want a PR to be represented as a bad or rejected code when reality could be quite opposite.