-
Notifications
You must be signed in to change notification settings - Fork 389
[WIP] New workflow to add MCP server instructions #349
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
| - name: Fetch PR refs | ||
| run: | | ||
| git fetch --no-tags origin \ | ||
| +refs/pull/${{ github.event.pull_request.number }}/merge:pr-merge \ | ||
| +refs/pull/${{ github.event.pull_request.number }}/head:pr-head | ||
|
|
||
| - name: Compute changed files (base..head) |
Check warning
Code scanning / CodeQL
Checkout of untrusted code in trusted context Medium
Copilot Autofix
AI 11 days ago
Copilot could not generate an autofix suggestion
Copilot could not generate an autofix suggestion for this alert. Try pushing a new commit or if the problem persists contact support.
|
|
||
| - name: Run Codex | ||
| id: run_codex | ||
| uses: openai/codex-action@v1 |
Check warning
Code scanning / CodeQL
Unpinned tag for a non-immutable Action in workflow Medium
Uses Step: run_codex
| - name: Pre-fetch base/head refs (for context only) | ||
| run: | | ||
| git fetch --no-tags origin \ | ||
| ${{ github.event.pull_request.base.ref }} \ | ||
| +refs/pull/${{ github.event.pull_request.number }}/head | ||
|
|
||
| # OPTIONAL: Pre-fetch docs that Codex can read (Codex sandbox blocks network). | ||
| # If your YAML has source.project URLs, you can curl README.md and place in ./_docs | ||
| - name: (Optional) Fetch referenced READMEs for context |
Check warning
Code scanning / CodeQL
Checkout of untrusted code in trusted context Medium
Copilot Autofix
AI 11 days ago
Copilot could not generate an autofix suggestion
Copilot could not generate an autofix suggestion for this alert. Try pushing a new commit or if the problem persists contact support.
| - name: Checkout PR merge ref (read-only) | ||
| uses: actions/checkout@v5 | ||
| with: | ||
| ref: refs/pull/${{ github.event.pull_request.number }}/merge | ||
| # persist-credentials: false | ||
| # clean: true | ||
|
|
||
| - name: Pre-fetch base/head refs (for context only) |
Check warning
Code scanning / CodeQL
Checkout of untrusted code in trusted context Medium
Copilot Autofix
AI 11 days ago
Copilot could not generate an autofix suggestion
Copilot could not generate an autofix suggestion for this alert. Try pushing a new commit or if the problem persists contact support.
name: Add a new MCP server
about: Requests for adding a new MCP server to the Docker Catalog
title: ""
labels: submission
assignees: ""
MCP Server Information
Server Name:
Repository URL:
Brief Description:
Basic Requirements
Submitter Checklist
task validate -- --name SERVER_NAMEtask build -- --tools SERVER_NAME