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