From 46a8fcdf3cf0eb64b5ac70b4847f1facbdd12be1 Mon Sep 17 00:00:00 2001
From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Tue, 18 Dec 2018 16:30:40 +0100
Subject: [PATCH] Automatically tag as nominated for T-compiler

---
 src/tools/publish_toolstate.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index b863b9dde0d79..c05cd912991ca 100755
--- 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,