Chore: [AEA-0000] - sync copilot#119
Conversation
|
This PR is linked to a ticket in an NHS Digital JIRA Project. Here's a handy link to the ticket: AEA-0000 |
There was a problem hiding this comment.
Pull request overview
Adds a scheduled/manual GitHub Actions workflow to sync shared GitHub Copilot instructions into this repo.
Changes:
- Introduces a new
Sync Copilot Instructionsworkflow triggered weekly (cron) and on-demand. - Uses
NHSDigital/eps-copilot-instructionswith GitHub App credentials to create/update a PR againstmain.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| runs-on: ubuntu-22.04 | ||
| environment: create_pull_request | ||
| permissions: | ||
| contents: read |
There was a problem hiding this comment.
This workflow appears to create a pull request (it passes CREATE_PULL_REQUEST_* secrets), but the job permissions only grant contents: read. To match other PR-creating workflows in this repo (e.g. .github/workflows/update_dev_container_version.yml), add pull-requests: write (and, if the action uses GITHUB_TOKEN to push commits/branches, also contents: write) so the workflow doesn’t fail due to insufficient token permissions.
| contents: read | |
| contents: write | |
| pull-requests: write |
| jobs: | ||
| sync-copilot-instructions: | ||
| runs-on: ubuntu-22.04 | ||
| environment: create_pull_request |
There was a problem hiding this comment.
environment: create_pull_request will apply any environment protection rules (e.g., required reviewers) to this scheduled job. If that environment is protected, the weekly cron run will queue awaiting approval. If you don’t need environment-scoped secrets/protections here, consider removing the environment to avoid gating scheduled runs.
| environment: create_pull_request |
|
Summary
Details