CI - Allow pull requests to master from any branch

Remove the workflow that only allowed pull requests to master from development, which no longer exists.
This commit is contained in:
RobertBeekman committed 2026-10-17 21:10:33 +02:00
1 parent 65409c4378
commit 163f713b31
1 file changed
-17
-17
View File
@@ -1,17 +0,0 @@
name: Check pull request branch
on:
pull_request_target:
types:
- opened
- reopened
- synchronize
jobs:
check-branches:
runs-on: ubuntu-latest
steps:
- name: Check branches
run: |
if [ ${{ github.head_ref }} != "development" ] && [ ${{ github.base_ref }} == "master" ]; then
echo "Merge requests to master are only allowed from development."
exit 1
fi