We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5a3abff commit 46a8fcdCopy full SHA for 46a8fcd
src/tools/publish_toolstate.py
@@ -67,6 +67,7 @@ def issue(
67
'''.format(relevant_pr_user, relevant_pr_number, tool, tool),
68
'title': title,
69
'assignees': assignees,
70
+ 'labels': ['T-compiler', 'I-nominated'],
71
}),
72
{
73
'Authorization': 'token ' + github_token,
0 commit comments