Replace git-clone with HTTP get of an archive #5
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: Nudge PRs Towards `dev` | |
| on: | |
| pull_request_target: | |
| types: [opened] | |
| branches: | |
| - main | |
| jobs: | |
| validate: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| steps: | |
| - name: Verify Target Branch | |
| uses: Vankka/[email protected] | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| with: | |
| target: main | |
| exclude: dev # Allow going from dev -> main | |
| change-to: dev | |
| comment: | | |
| Thank you for your contribution to melonDS DS! | |
| Please note that pull requests should target the `dev` branch; | |
| `main` is used for releases and should not be modified directly. | |
| Your pull request's target has been set to `dev` automatically; | |
| if there are any merge conflicts, please resolve them. |