This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Require dev as PR source to main | |
| on: | |
| pull_request: | |
| branches: [main] | |
| jobs: | |
| check-source-branch: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Ensure only dev can target main | |
| env: | |
| HEAD_REF: ${{ github.head_ref }} | |
| run: | | |
| if [ "$HEAD_REF" != "dev" ]; then | |
| echo "::error::Only the 'dev' branch can be merged into main. This PR is from '$HEAD_REF'. Please open a PR from dev to main instead." | |
| exit 1 | |
| fi |