Skip to content

Commit 3c7b488

Browse files
committed
Remove CI workflow from plugin manifest
Re-signed branch history. Previous subjects: - Add Codex CLI plugin manifest - Add Codex plugin quality gate CI - Remove CI workflow from plugin PR - Remove CI workflow from plugin manifest
1 parent 95726ad commit 3c7b488

File tree

4 files changed

+64
-0
lines changed

4 files changed

+64
-0
lines changed

.codex-plugin/plugin.json

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"name": "github-mcp",
3+
"version": "0.1.0",
4+
"description": "GitHub's official MCP Server from Codex via remote MCP",
5+
"author": {
6+
"name": "github",
7+
"url": "https://github.com/github/github-mcp-server"
8+
},
9+
"homepage": "https://github.com/github/github-mcp-server",
10+
"repository": "https://github.com/github/github-mcp-server",
11+
"keywords": [
12+
"mcp",
13+
"codex"
14+
],
15+
"mcpServers": "./.mcp.json",
16+
"skills": "./skills/",
17+
"interface": {
18+
"displayName": "GitHub MCP Server",
19+
"shortDescription": "GitHub's official MCP Server from Codex via remote MCP",
20+
"longDescription": "GitHub's official MCP Server. Manage issues, pull requests, repositories, and more through GitHub Copilot's MCP endpoint.",
21+
"category": "Development",
22+
"websiteURL": "https://github.com/github/github-mcp-server"
23+
}
24+
}
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
name: Plugin Quality Gate
2+
3+
on:
4+
pull_request:
5+
paths:
6+
- ".codex-plugin/**"
7+
- "skills/**"
8+
- ".mcp.json"
9+
10+
jobs:
11+
scan:
12+
runs-on: ubuntu-latest
13+
steps:
14+
- uses: actions/checkout@v4
15+
- name: Codex plugin quality gate
16+
uses: hashgraph-online/hol-codex-plugin-scanner-action@v1
17+
with:
18+
plugin_dir: "."
19+
min_score: 80
20+
fail_on_severity: high

.mcp.json

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"mcpServers": {
3+
"github": {
4+
"type": "http",
5+
"url": "https://api.githubcopilot.com/mcp/"
6+
}
7+
}
8+
}

skills/github-mcp/SKILL.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
---
2+
name: github-mcp
3+
description: GitHub's official MCP Server from Codex via remote MCP
4+
---
5+
6+
# GitHub MCP Server for Codex
7+
8+
Use GitHub MCP Server from Codex via MCP.
9+
10+
## When to use
11+
- When you need github-mcp capabilities in your Codex workflow
12+
- See https://github.com/github/github-mcp-server for full setup instructions

0 commit comments

Comments
 (0)