From 17b2777700b95bf0a205b0e1e94690c3e5d41b21 Mon Sep 17 00:00:00 2001
From: Ariel Costas Guerrero <ariel@costas.dev>
Date: Tue, 3 Jun 2025 09:11:05 +0200
Subject: Replace AI slop for deleting branch for an actual git command

---
 .github/workflows/codeql.yml            | 12 ------------
 .github/workflows/update-stops-data.yml |  2 +-
 2 files changed, 1 insertion(+), 13 deletions(-)

(limited to '.github')

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
 
-- 
cgit v1.3