Create dev-branch

This commit is contained in:
egelhaus 2025-03-10 13:44:34 +01:00 committed by GitHub
parent be5229b97f
commit 0d4433159b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 23 additions and 0 deletions

23
.github/workflows/dev-branch vendored Normal file
View File

@ -0,0 +1,23 @@
name: Make sure new PRs are sent to development
on:
pull_request_target:
types: [opened, edited]
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