diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/check_branch.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/workflows/check_branch.yml b/.github/workflows/check_branch.yml new file mode 100644 index 0000000000..797e78ef07 --- /dev/null +++ b/.github/workflows/check_branch.yml @@ -0,0 +1,15 @@ +# This will be used to achieve [Misc #16094] later. +name: check_branch +on: [pull_request] +jobs: + master: + runs-on: ubuntu-latest + steps: + - name: Check if branch is master + run: | + if [ "$BASE_REF" != master ]; then + echo "Only master branch accepts a pull request, but it's '$BASE_REF'." + exit 1 + fi + env: + BASE_REF: ${{ github.base_ref }} |