Skip to content

Rename Creating Benchmark workloads page #2

Rename Creating Benchmark workloads page

Rename Creating Benchmark workloads page #2

name: Delete merged branch of the PRs
on:
pull_request:
types:
- closed
jobs:
delete-branch:
runs-on: ubuntu-latest
if: |
startsWith(github.event.pull_request.head.repo.full_name, 'opensearch-project/documentation-website') &&
startsWith(! github.event.pull_request.head.ref, 'main') &&
startsWith(! github.event.pull_request.head.ref, '1.') &&
startsWith(! github.event.pull_request.head.ref, '2.') &&
startsWith(! github.event.pull_request.head.ref, 'version/')
steps:
- name: Echo remove branch
run: echo Removing ${{github.event.pull_request.head.ref}}
- name: Delete merged branch
uses: SvanBoxel/delete-merged-branch@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}