[llvm] [GitHub][workflows] Ask reviewers to merge new contributor's PRs (PR #80659)

Aiden Grossman via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 8 12:59:51 PST 2024

Previous message: [llvm] [GitHub][workflows] Ask reviewers to merge new contributor's PRs (PR #80659)
Next message: [llvm] [GitHub][workflows] Ask reviewers to merge new contributor's PRs (PR #80659)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

boomanaiden154 wrote:

Is it okay to close this PR given #81142 has superseded this?

https://github.com/llvm/llvm-project/pull/80659

Previous message: [llvm] [GitHub][workflows] Ask reviewers to merge new contributor's PRs (PR #80659)
Next message: [llvm] [GitHub][workflows] Ask reviewers to merge new contributor's PRs (PR #80659)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list