diff --git a/.github/workflows/pr-branch.yml b/.github/workflows/pr-branch.yml deleted file mode 100644 index 08ce8793d..000000000 --- a/.github/workflows/pr-branch.yml +++ /dev/null @@ -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 \ No newline at end of file