Skip to content

MCP Servers registered with the same names on different plugins are loaded from the last installed one #4273

MCP Servers registered with the same names on different plugins are loaded from the last installed one

MCP Servers registered with the same names on different plugins are loaded from the last installed one #4273

Workflow file for this run

name: Label incoming issues
on:
issues:
types:
- reopened
- opened
- unlabeled
permissions:
issues: write
jobs:
label_incoming_issues:
runs-on: ubuntu-latest
if: github.event.action == 'opened' || github.event.action == 'reopened'
steps:
- run: gh issue edit "$NUMBER" --add-label "$LABELS"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
NUMBER: ${{ github.event.issue.number }}
LABELS: triage
label_more_info_issues:
if:
github.event.action == 'unlabeled' && github.event.label.name ==
'more-info-needed'
runs-on: ubuntu-latest
steps:
- run: gh issue edit "$NUMBER" --add-label "$LABELS"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
NUMBER: ${{ github.event.issue.number }}
LABELS: triage