[llvm] [workflows] Delete user branches that are too long (PR #82845)
Jon Roelofs via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 26 08:13:57 PST 2024
jroelofs wrote:
> For git push at least, deleting the branch closes the PR.
Do actions have the ability to make comments on PRs? It would be less user-hostile to have it leave a comment explaining what happened, and why their PR was being closed.
https://github.com/llvm/llvm-project/pull/82845
More information about the llvm-commits
mailing list