diff options
| author | Ariel Costas Guerrero <ariel@costas.dev> | 2025-06-03 09:11:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-03 09:11:05 +0200 |
| commit | 17b2777700b95bf0a205b0e1e94690c3e5d41b21 (patch) | |
| tree | 31953fde1b45680f8cc8fcb025deda7ebca18754 /.github/workflows/update-stops-data.yml | |
| parent | 016c1ec4829ef00cef692de1f08ae4ae89b00baf (diff) | |
Replace AI slop for deleting branch for an actual git command
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 |