test-github-merge-api
GH:E will allow closed PRs with deleted branches to be merged using the Merge a pull request API.
It should not be possible to merge these changes from a deleted branch in a closed PR.
GH:E will allow closed PRs with deleted branches to be merged using the Merge a pull request API.
It should not be possible to merge these changes from a deleted branch in a closed PR.