branch_changer: distinguish terminal output

maintainer-scripts/ChangeLog:

	* branch_changer.py: Generate URL only when emitting
	to terminal.

diff --git a/maintainer-scripts/branch_changer.py b/maintainer-scripts/branch_changer.py
index 118b6faf4f12bf0105aec063be0d734b237de5d1..370d92d85da735686b6a1721afa06f4459e66181 100755 (executable)
--- 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))