From c300ef65912c2c8439bd7e743e1a8524c5a59e98 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Fri, 9 Oct 2020 16:53:07 +0200 Subject: [PATCH] Fix the script when the merge fixes --- Scripts/developer_scripts/merge_pr_with_label | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/merge_pr_with_label b/Scripts/developer_scripts/merge_pr_with_label index 2598ef8c0cc..6d61a3d6cb8 100755 --- a/Scripts/developer_scripts/merge_pr_with_label +++ b/Scripts/developer_scripts/merge_pr_with_label @@ -9,7 +9,7 @@ fi for pr in $(python3 ./Scripts/developer_scripts/list_pull_requests.py "$1" --unmerged); do if ! hub merge $pr; then - echo $p; + echo $pr; break fi done