Plugin updates fail with Access is denied when other Copilot CLI or VS Code sessions are open #7200
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Close issue/PR on adding invalid label | |
| # **What it does**: This action closes invalid issues and signals invalid PRs to a trusted writer. | |
| on: | |
| issues: | |
| types: [labeled] | |
| pull_request: | |
| types: [labeled] | |
| permissions: {} | |
| jobs: | |
| close-issue-on-adding-invalid-label: | |
| if: > | |
| github.repository == 'github/copilot-cli' && | |
| github.event_name == 'issues' && | |
| github.event.label.name == 'invalid' | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| steps: | |
| - name: Close issue | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| GH_REPOSITORY: ${{ github.repository }} | |
| ISSUE_NUMBER: ${{ github.event.issue.number }} | |
| run: gh api -X PATCH "repos/$GH_REPOSITORY/issues/$ISSUE_NUMBER" -f state=closed | |
| signal-invalid-pr-label: | |
| if: > | |
| github.repository == 'github/copilot-cli' && | |
| github.event_name == 'pull_request' && | |
| github.event.label.name == 'invalid' | |
| runs-on: ubuntu-latest | |
| permissions: {} | |
| steps: | |
| - name: Record invalid PR label signal | |
| env: | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| run: | | |
| echo "Invalid label signal for PR #$PR_NUMBER" |