Remove branch only if it exists

Clubs-Council-IIITH · Feb 23, 2024 · aed1576 · aed1576
1 parent dc58abe
commit aed1576
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
@@ -36,6 +36,9 @@ jobs:
           commit_message: Apply Linting & Formatting Fixes
 
       - name: Remove Linting Branch
-        run: git push origin --delete linting
+        run: |
+          if git rev-parse --verify linting >/dev/null 2>&1; then
+            git push origin --delete linting
+          fi