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 | |
| parent | 016c1ec4829ef00cef692de1f08ae4ae89b00baf (diff) | |
Replace AI slop for deleting branch for an actual git command
| -rw-r--r-- | .github/workflows/codeql.yml | 12 | ||||
| -rw-r--r-- | .github/workflows/update-stops-data.yml | 2 |
2 files changed, 1 insertions, 13 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 738475c..65748cd 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -1,28 +1,16 @@ name: "CodeQL" on: - push: - branches: [ "main" ] schedule: - cron: '18 6 * * 3' jobs: analyze: name: Analyze (${{ matrix.language }}) - # Runner size impacts CodeQL analysis time. To learn more, please see: - # - https://gh.io/recommended-hardware-resources-for-running-codeql - # - https://gh.io/supported-runners-and-hardware-resources - # - https://gh.io/using-larger-runners (GitHub.com only) - # Consider using larger runners or machines with greater resources for possible analysis time improvements. runs-on: ${{ (matrix.language == 'swift' && 'macos-latest') || 'ubuntu-latest' }} permissions: - # required for all workflows security-events: write - - # required to fetch internal or private CodeQL packs packages: read - - # only required for workflows in private repositories actions: read contents: read 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 |