Learn more about these different git repos.
Other Git URLs
I think it could be great to have a notification displayed in a PR page when the PR's initial message is changed/edited.
Login to comment on this ticket.