mirror of
https://github.com/wintercms/winter.git
synced 2024-06-28 05:33:29 +02:00
30 lines
1.4 KiB
YAML
30 lines
1.4 KiB
YAML
name: Wrong Branch
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened]
|
|
branches:
|
|
- master
|
|
|
|
jobs:
|
|
wrongBranch:
|
|
runs-on: ubuntu-latest
|
|
name: Fix Wrong Branch
|
|
steps:
|
|
- name: Alert submitter
|
|
run: |
|
|
export ISSUE_NUMBER=$(echo '${{ github.ref }}' | cut -d'/' -f3)
|
|
curl -s --request POST \
|
|
--url https://api.github.com/repos/${{ github.repository }}/issues/${ISSUE_NUMBER}/comments \
|
|
--header 'authorization: Bearer ${{ secrets.GITHUB_TOKEN }}' \
|
|
--header 'content-type: application/json' \
|
|
--data '{"body": "This pull request has been made to the wrong branch. Please review [the contributing guidelines](https://github.com/octobercms/october/blob/master/.github/CONTRIBUTING.md#making-a-pull-request) as all PRs need to be made to the `develop` branch.\n\nWe'\''ll fix it for you this time, but please ensure you make any future PRs to the `develop` branch, not the `master` branch."}' > /dev/null
|
|
- name: Change base branch
|
|
run: |
|
|
export ISSUE_NUMBER=$(echo '${{ github.ref }}' | cut -d'/' -f3)
|
|
curl -s --request PATCH \
|
|
--url https://api.github.com/repos/${{ github.repository }}/pulls/${ISSUE_NUMBER} \
|
|
--header 'authorization: Bearer ${{ secrets.GITHUB_TOKEN }}' \
|
|
--header 'content-type: application/json' \
|
|
--data '{"base": "develop"}' > /dev/null
|