36894: info('Bot is unknown') -> warning

sagemath · Dec 15, 2023 · a032c79 · a032c79
1 parent a0df948
commit a032c79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/sync_labels.py b/.github/sync_labels.py
@@ -258,7 +258,7 @@ def read_login(txt, position_mark):
         self._bot_login = read_login([errtxt, outtxt], ['account', 'as'])
         if not self._bot_login:
             self._bot_login = default_bot
-            info('Bot is unknown')
+            warning('Bot is unknown')
             return self._bot_login
         if self._bot_login.endswith('[bot]'):
             self._bot_login = self._bot_login.split('[bot]')[0]