Marge bot: Include MR link when merging
This is an issue in Marge Bot, not in GHC.
When a merge request is accepted, I'd like the description of the commit to be edited to include a link to the merge request.
It is true that usually we include ticket ID from which you can obtain the MR, but this is not enforced and does not always happen.