Closed
Description
To this one, it should be "Rename discussion.md to discussion.md.not_used (#501)".
Why add this?
Well, when we click "Rename discussion.md to discussion.md.not_used" text in github, we could see the difference.
But we more care about PR, it contains more.
You may say the following page has the github number (red marked one), but it's too tiny to find.
How to add?
Like the following one, I thought a pr title should be the commit, not the branch.