Automatically tag as nominated for T-compiler

diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index b863b9dde0d790d45a4fc5f18c339433c5b741e4..c05cd912991ca9c8c4867de40e40118e395c7f9a 100755 (executable)
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@@ -67,6 +67,7 @@ def issue(
             '''.format(relevant_pr_user, relevant_pr_number, tool, tool),
             'title': title,
             'assignees': assignees,
+            'labels': ['T-compiler', 'I-nominated'],
         }),
         {
             'Authorization': 'token ' + github_token,