Tom Stellard 91fdb20915 workflows: Split new-prs into two workflows ... We cannot use the default github token for labeling PRs, because this will not trigger the PR Subscriber job. However, we weren't allowed to use a different token via a secret, because secrets aren't allowed in PR workflows. The solution is to create two workflows, the first accepts the pull_request_taget event extracts the PR number and then starts the second workflow which adds the labels to the PRs. This separation ensures that nothing malicious in the first workflow is able to access the secret we use in the second workflow.		2023-09-08 22:09:33 -07:00
..
workflows	workflows: Split new-prs into two workflows	2023-09-08 22:09:33 -07:00
CODEOWNERS	[Github] Add mlir-emitc subscribers to watch the Cpp target (#65603)	2023-09-08 12:06:23 +02:00
new-issues-labeler.yml	[Github] Move the issue labeler data out of workflows	2023-09-05 15:10:42 +02:00
new-prs-labeler.yml	new-prs-labeler: Convert from gitignore syntax to minimatch	2023-09-08 15:40:21 -07:00