diff --git a/bin/ci/ci_run_n_monitor.py b/bin/ci/ci_run_n_monitor.py index 264a71c0903..454dc084969 100755 --- a/bin/ci/ci_run_n_monitor.py +++ b/bin/ci/ci_run_n_monitor.py @@ -435,6 +435,7 @@ if __name__ == "__main__": branch_name, ]).decode('ascii').strip() + # Ignore local branches that do not track any remote if tracked_remote: remote_rev = check_output([ 'git', 'rev-parse', tracked_remote,