add write perms on pull requests (#250)

GitHub permissions are ANDed, not ORed. So, even though the sequester app was given permission to read and write pull requests, the configuration in YAML prevented it.

This ensures that if a PR is tagged as a work item, it will be imported correctly.
pull/255/head
Bill Wagner 2024-04-25 17:36:42 -04:00 committed by GitHub
parent 766a623d23
commit b6f17fcd1a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions

View File

@ -14,6 +14,7 @@ jobs:
runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
if: ${{ github.repository_owner == 'dotnet' }}
steps:

View File

@ -21,6 +21,7 @@ jobs:
runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
steps:
- name: "Print manual run reason"