Repository navigation
Desktop app: sessions die minutes after spawn — "GitHub credential registration is no longer available for this session" makes the github-mcp-server catalog stale and fatal #8430
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" |