From 9c31f25653c96df4ce1bd5e579b2f23f305ee0cc Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 7 Feb 2019 13:29:39 +0100 Subject: [PATCH] trivial fix (Python issue) --- Scripts/developer_scripts/list_pull_requests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/list_pull_requests.py b/Scripts/developer_scripts/list_pull_requests.py index 70dfe831f4e..ea93906844e 100755 --- a/Scripts/developer_scripts/list_pull_requests.py +++ b/Scripts/developer_scripts/list_pull_requests.py @@ -68,7 +68,7 @@ else: print_verbose(" index path is {}".format(repo.index_path())) print_verbose("Getting commits in current branch", end='') print_verbose(" {}".\ - format(str(repo.refs.read_ref('HEAD'), "ascii")), end='') + format(str(repo.refs.read_ref(b'HEAD'), "ascii")), end='') sys.stderr.flush() walk = repo.get_walker(include=repo.head(),\ exclude=[repo.get_refs()[b'refs/remotes/cgal/master']])