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