Repository navigation
tool_search_tool reports "No tools found" for tools whose MCP server has not finished registering - indistinguishable from a genuine no-match #7928
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: Remove triage label | |
| on: | |
| issues: | |
| types: | |
| - labeled | |
| permissions: | |
| issues: write | |
| jobs: | |
| remove-triage-label-from-issues: | |
| if: | |
| github.event.label.name != 'triage' && github.event.label.name != | |
| 'more-info-needed' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - run: gh issue edit "$NUMBER" --remove-label "$LABELS" | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| GH_REPO: ${{ github.repository }} | |
| NUMBER: ${{ github.event.issue.number }} | |
| LABELS: triage |