mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-18 04:55:45 +00:00
Code Activity

Fix release-notes-updater: add copilot-requests: write permission (#10116)

Browse source 
The `release-notes-updater` agent job was failing with HTTP 401 on every
Copilot API inference request because the GitHub Actions token lacked
`copilot-requests: write`.

## Changes

- **`release-notes-updater.md`**: Replace `permissions: read-all`
shorthand with an explicit permissions object that includes
`copilot-requests: write`
- **`release-notes-updater.lock.yml`**: Recompiled via `gh aw compile`

```yaml
# Before
permissions: read-all

# After
permissions:
  contents: read
  issues: read
  pull-requests: read
  discussions: read
  copilot-requests: write
```

`read-all` expands all scopes to read but does not grant
`copilot-requests: write`, which is the permission required for the
GitHub Actions token to authenticate with the Copilot API proxy.

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
This commit is contained in:
Copilot 2026-07-13 17:13:31 -07:00 • committed by GitHub
parent 710b4082d1
commit 424bcc545e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 20 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/release-notes-updater.md vendored
View file

@ -7,7 +7,12 @@ on:
timeout-minutes: 30
permissions: read-all
permissions:
contents: read
issues: read
pull-requests: read
discussions: read
copilot-requests: write
network: defaults