Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Discord announcement: push only when label "Needs review" is set (#7075)
* Discord annoucement: push only when label "Needs review" is set * Change to label triggering * actions: Add run-name to `pr-announce` workflow --------- Co-authored-by: ColorfulRhino <131405023+ColorfulRhino@users.noreply.github.com>
- Loading branch information