When searching for pull requests by branch name, the qualifier `head:NAME` matches branches beginning with NAME instead of exact matches. This may cause git-webkit to assume a PR exists for a new branch with similar name to a previous one. Example: Last week I pushed https://github.com/WebKit/WebKit/pull/3732, with branch `non-unified-august-26th`. Submitted and merged normally. Today I tried to submit a new one with branch name `non-unified-august`. The submition ended up finding PR-3732, and overwriting the description of it. Maybe a fix would be checking for exact head/branch name match when checking whether we have an opened PR? (program/pull_request.py:PullRequest.find_existing_pull_request) Link to Github docs: https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-branch-name
<rdar://problem/99648208>
Pull request: https://github.com/WebKit/WebKit/pull/4082
Pull request: https://github.com/WebKit/WebKit/pull/4108
Committed 254478@main (9eedf00c4427): <https://commits.webkit.org/254478@main> Reviewed commits have been landed. Closing PR #4108 and removing active labels.
Committed 252432.448@safari-7614-branch (aec8adaf317c): <https://commits.webkit.org/252432.448@safari-7614-branch> Reviewed commits have been landed. Closing PR #73 and removing active labels.
*** Bug 242836 has been marked as a duplicate of this bug. ***