Repository navigation
plugin marketplace add reports success but registration is not persisted (browse immediately fails with 'not found') #8404
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" |