Files
SpacetimeDB/.github/workflows/check-pr-base.yml
Zeke Foppa 669d48713b Fix #1180: Add PR status check that fails unless based on master (#1213)
* [bfops/fix-github-action]: fix?

* [bfops/fix-github-action]: empty

---------

Co-authored-by: Zeke Foppa <github.com/bfops>
2024-05-13 16:33:42 +00:00

21 lines
470 B
YAML

name: Git tree checks
on:
pull_request:
types: [opened, edited]
merge_group:
permissions: read-all
jobs:
check_base_ref:
name: Based on `master`
runs-on: ubuntu-latest
steps:
- id: not_based_on_master
if: |
github.event_name == 'pull_request' &&
github.event.pull_request.base.ref != 'master'
run: |
echo "This PR is not based on master. Please wait until the base PR merges."
exit 1