Bump org.codehaus.groovy:groovy-all from 2.5.7 to 2.5.14 #7
This file contains 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: PR to master only from development | |
| on: | |
| pull_request: | |
| branches: | |
| - master | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check if PR branch to master is development | |
| run: | | |
| echo "Pull request's branch to be merged is: ${{ github.event.pull_request.head.ref }}" | |
| if [ "${{ github.event.pull_request.head.ref }}" != "development" ]; then echo "Pull requests to master must come from the development branch!"; exit 1; fi | |