Skip to content
Delete merged branch of the backport PRs

Add datasource picker component and use it in devtools and tutorial page when multiple datasource is enabled #2209

Sign in to view logs

Add datasource picker component and use it in devtools and tutorial page when multiple datasource is enabled

Add datasource picker component and use it in devtools and tutorial page when multiple datasource is enabled #2209

Workflow file for this run

.github/workflows/delete_backport_branch.yml at 4e83603
name: Delete merged branch of the backport PRs
on:
pull_request:
types:
- closed
jobs:
delete-branch:
runs-on: ubuntu-latest
if: startsWith(github.event.pull_request.head.ref,'backport/')
steps:
- name: Delete merged branch
uses: SvanBoxel/delete-merged-branch@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}