diff options
Diffstat (limited to '.github/workflows/update-stops-data.yml')
| -rw-r--r-- | .github/workflows/update-stops-data.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/update-stops-data.yml b/.github/workflows/update-stops-data.yml index 6f17ed1..619f7dd 100644 --- a/.github/workflows/update-stops-data.yml +++ b/.github/workflows/update-stops-data.yml @@ -52,7 +52,7 @@ jobs: pr_number=$(echo "$pr" | jq -r '.number') echo "Closing PR #$pr_number" gh pr close $pr_number --comment "Superseded by a new PR with updated data" - gh branch delete $(echo "$pr" | jq -r '.headRefName') --force + git push origin --delete $(echo "$pr" | jq -r '.headRefName') done fi |