not all destination PR are about an origin PR

This commit is contained in:
Earl Warren 2024-01-03 19:20:39 +01:00
parent 3402cff299
commit 6ad77b3c22
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00

View file

@ -76,11 +76,11 @@ EOF
} }
function pr_destination_title() { function pr_destination_title() {
echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]}/pulls/${options[origin_pr]}" echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]} ${options[origin_head]}"
} }
function pr_destination_body() { function pr_destination_body() {
echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]}/pulls/${options[origin_pr]}" echo "cascading-pr from ${options[origin_url]}/${options[origin_repo]} ${options[origin_head]}"
} }
function upsert_destination_pr() { function upsert_destination_pr() {