mirror of
https://github.com/github/awesome-copilot.git
synced 2026-02-20 10:25:13 +00:00
0efa435f50
PRs should target the staged branch. This workflow posts a review requesting changes when a PR is opened against main, with instructions to retarget to staged. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
36 lines
1.1 KiB
YAML
36 lines
1.1 KiB
YAML
name: Check PR Target Branch
|
|
|
|
on:
|
|
pull_request:
|
|
branches: [main]
|
|
types: [opened]
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
check-target:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Reject PR targeting main
|
|
uses: actions/github-script@v7
|
|
with:
|
|
script: |
|
|
const body = [
|
|
'⚠️ **This PR targets `main`, but PRs should target `staged`.**',
|
|
'',
|
|
'The `main` branch is auto-published from `staged` and should not receive direct PRs.',
|
|
'Please close this PR and re-open it against the `staged` branch.',
|
|
'',
|
|
'You can change the base branch using the **Edit** button at the top of this PR,',
|
|
'or run: `gh pr edit ${{ github.event.pull_request.number }} --base staged`'
|
|
].join('\n');
|
|
|
|
await github.rest.pulls.createReview({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
pull_number: context.issue.number,
|
|
event: 'REQUEST_CHANGES',
|
|
body
|
|
});
|