1 files changed, 5 insertions, 1 deletions
diff --git a/maintainer-scripts/branch_changer.py b/maintainer-scripts/branch_changer.py
index 118b6fa..370d92d 100755
--- a/maintainer-scripts/branch_changer.py
+++ b/maintainer-scripts/branch_changer.py
@@ -47,6 +47,7 @@
 import argparse
 import json
 import re
+import sys
 
 import requests
 
@@ -83,7 +84,10 @@ class Bug:
     def name(self):
         bugid = self.data['id']
         url = f'https://gcc.gnu.org/bugzilla/show_bug.cgi?id={bugid}'
-        return f'\u001b]8;;{url}\u001b\\PR{bugid}\u001b]8;;\u001b\\ ({self.data["summary"]})'
+        if sys.stdout.isatty():
+            return f'\u001b]8;;{url}\u001b\\PR{bugid}\u001b]8;;\u001b\\ ({self.data["summary"]})'
+        else:
+            return f'PR{bugid} ({self.data["summary"]})'
 
     def remove_release(self, release):
         self.versions = list(filter(lambda x: x != release, self.versions))