[llvm] [workflows] Delete user branches that are too long (PR #82845)
Jessica Clarke via llvm-commits
llvm-commits at lists.llvm.org
Fri Feb 23 18:23:49 PST 2024
jrtc27 wrote:
> What behavior does this have when someone actually hits it? I assume it runs after the push, so would they just try to go create the PR and have it just not be present? Also if spr is programmatically creating PRs, it may create it before this runs, and I don't think you can delete a branch that is referenced by a PR.
For git push at least, deleting the branch closes the PR.
https://github.com/llvm/llvm-project/pull/82845
More information about the llvm-commits
mailing list