fix: print origin pr url to dest pr body

there may be more than one cascading PR from the same origin
and they are different because the destination head is different
2025-04-21 16:38:43 +00:00 · 2024-12-09 13:22:16 +01:00 · 2024-03-20 16:49:19 +01:00 · 2024-02-19 14:00:26 +01:00
2 changed files with 7 additions and 2 deletions
--- a/.forgejo/workflows/integration.yml
+++ b/.forgejo/workflows/integration.yml
@ -4,6 +4,7 @@ on:
  push:
    branches:
      - 'main'
+      - 'v*'
  pull_request:

 jobs:
--- a/cascading-pr.sh
+++ b/cascading-pr.sh
@ -77,11 +77,15 @@ 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() {
+    if [[ -n "${options[origin_pr]}" ]]; then
+        echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]}/pulls/${options[origin_pr]}"
+    else
        echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]} ${options[origin_head]}"
+    fi
 }

 function upsert_destination_pr() {
Author	SHA1	Message	Date
Michael Kriese	af62a3a589	fix: print origin pr url to dest pr body Some checks failed integration / integration (push) Has been cancelled Details	2024-12-09 13:22:16 +01:00
Earl Warren	e6f017654e	there may be more than one cascading PR from the same origin and they are different because the destination head is different	2024-03-20 16:49:19 +01:00
Earl Warren	a26a113b00	also run the tests on v* branches (cherry picked from commit `632b77ff09`)	2024-02-19 14:00:26 +01:00