Skip to content

Bump io.github.classgraph:classgraph from 4.8.176 to 4.8.177 in /java-client #694

Bump io.github.classgraph:classgraph from 4.8.176 to 4.8.177 in /java-client

Bump io.github.classgraph:classgraph from 4.8.176 to 4.8.177 in /java-client #694

name: Delete merged branch of the backport PRs
on:
pull_request:
types:
- closed
jobs:
delete-branch:
runs-on: ubuntu-latest
if: github.event.pull_request.base.repo.id == github.event.pull_request.head.repo.id && startsWith(github.event.pull_request.head.ref, 'backport/')
permissions:
contents: write
steps:
- name: Delete merged branch
uses: actions/github-script@v7
with:
script: |
github.rest.git.deleteRef({
owner: context.repo.owner,
repo: context.repo.repo,
ref: `heads/${context.payload.pull_request.head.ref}`,
})