We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/deleonio/public-ui-kolibri'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
name: Handle PR-Labels
on:
pull_request_target:
types: [labeled]
concurrency:
group: workflow-${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
handle-labels:
if: >-
github.repository == 'public-ui/kolibri' &&
github.event.action == 'labeled' &&
github.event.label.name == 'codex'
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@v8
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const { owner, repo } = context.repo;
const prNumber = context.payload.pull_request.number;
await github.rest.issues.addLabels({
owner,
repo,
issue_number: prNumber,
labels: ['agent:codex'],
});
await github.rest.issues.removeLabel({
owner,
repo,
issue_number: prNumber,
name: 'codex',
});