Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.github: Fix the repatriation logic to deal with merged/closed PRs
If there's an old PR that's already been merged, that means we should be creating a new one, rather than assuming that pushing to the branch will update the old one. As seen on https://github.com/emissary-ingress/emissary/runs/6523998225 Signed-off-by: Luke Shumaker <[email protected]>
- Loading branch information