pr-title-bug-example Repo to demonstrate a bug in PRs: when you edit the title, the original title is still offered as the merge title