Delete .github/workflows/dev-branch.yaml

This commit is contained in:
egelhaus 2025-04-13 01:25:53 +02:00 committed by GitHub
parent b8a0e1cbf2
commit d1963d99e4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 19 deletions

View File

@ -1,19 +0,0 @@
name: Make sure new PRs are sent to development
jobs:
check-branch:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
# Do not checkout the repository here. See https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ for more information
- uses: Vankka/pr-target-branch-action@v3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
target: main
exclude: dev # Don't prevent going from development -> main
change-to: dev
comment: |
Your PR's base branch was set to `main`, PRs should be set to target `dev`.
The base branch of this PR has been automatically changed to `development`, please check that there are no merge conflicts