2025-02-13 09:22:56 +01:00
|
|
|
|
|
|
|
|
name: Delete JSON date PR Branch
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
types: [closed]
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
delete_branch:
|
2025-02-27 15:53:10 +02:00
|
|
|
runs-on: runner-cluster-htl-set
|
2025-02-13 09:22:56 +01:00
|
|
|
steps:
|
|
|
|
|
- name: Checkout the code
|
|
|
|
|
uses: actions/checkout@v3
|
|
|
|
|
|
|
|
|
|
- name: Delete PR Update Branch
|
|
|
|
|
if: github.event.pull_request.merged == true && startsWith(github.event.pull_request.head.ref, 'pr-update-json-')
|
|
|
|
|
run: |
|
|
|
|
|
PR_BRANCH="${{ github.event.pull_request.head.ref }}"
|
|
|
|
|
echo "Deleting branch $PR_BRANCH..."
|
|
|
|
|
|
|
|
|
|
# Avoid deleting the default branch (e.g., main)
|
|
|
|
|
if [[ "$PR_BRANCH" != "main" ]]; then
|
|
|
|
|
git push origin --delete "$PR_BRANCH"
|
|
|
|
|
else
|
|
|
|
|
echo "Skipping deletion of the main branch"
|
|
|
|
|
fi
|
