[Backport 2.17] Extended Dataset type config to provide search options like strategy #3877

	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 }}

Provide feedback