2022-07-30 01:45:02 +00:00
|
|
|
# This action is centrally managed in https://github.com/<organization>/.github/
|
|
|
|
|
# Don't make changes to this file in this repo as they will be overwritten with changes made to the same file in
|
|
|
|
|
# the above-mentioned repo.
|
|
|
|
|
|
2021-12-16 15:39:14 +00:00
|
|
|
name: Pull Requests
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
pull_request_target:
|
|
|
|
|
types: [opened, synchronize, edited, reopened]
|
|
|
|
|
|
|
|
|
|
jobs:
|
2022-04-23 16:35:39 +00:00
|
|
|
check-pull-request:
|
2021-12-16 15:39:14 +00:00
|
|
|
name: Check Pull Request
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2022-04-23 16:35:39 +00:00
|
|
|
- uses: Vankka/pr-target-branch-action@v2
|
|
|
|
|
env:
|
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
2021-12-16 15:39:14 +00:00
|
|
|
with:
|
2022-04-23 16:35:39 +00:00
|
|
|
target: master
|
|
|
|
|
exclude: nightly # Don't prevent going from nightly -> master
|
|
|
|
|
change-to: nightly
|
|
|
|
|
comment: |
|
2022-07-30 01:45:02 +00:00
|
|
|
Your PR was set to `master`, PRs should be sent to `nightly`.
|
|
|
|
|
The base branch of this PR has been automatically changed to `nightly`.
|
|
|
|
|
Please check that there are no merge conflicts
|
