From bd58cd8c9bef5365c3bd2c856bb8ecc89aa30f45 Mon Sep 17 00:00:00 2001 From: Earl Warren Date: Wed, 20 Mar 2024 16:23:28 +0100 Subject: [PATCH] there may be more than one cascading PR from the same origin and they are different because the destination head is different --- cascading-pr.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cascading-pr.sh b/cascading-pr.sh index f2ec3db..410d96b 100755 --- a/cascading-pr.sh +++ b/cascading-pr.sh @@ -77,7 +77,7 @@ EOF } function pr_destination_title() { - echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]} ${options[origin_head]}" + echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]} ${options[origin_head]} to ${options[destination_head]}" } function pr_destination_body() {