Agent sessions anchor to the Windows host instead of WSL, and session state is split across two session-store.db files #7300
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" |