Skip to content

[generate-manifest] add repository_dispatch Trigger #234

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.

Sign up for GitHub

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

Merged
merged 2 commits into from
Aug 18, 2025
Merged

[generate-manifest] add repository_dispatch Trigger #234

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8db9db4
[generate-manifest] add repository_dispatch Trigger
GabrielDrapor Aug 15, 2025
743e62b
[generate_manifest] use MCPM_PERSONAL_ACCESS_TOKEN to create PR
GabrielDrapor Aug 18, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 8 additions & 5 deletions .github/workflows/generate-manifest.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,8 @@ on:
description: 'Repository URL to generate manifest for'
required: true
type: string
repository_dispatch:
types: [generate-manifest]

jobs:
generate-manifest:
Expand Down Expand Up @@ -35,24 +37,25 @@ jobs:
env:
ANYON_API_KEY: ${{ secrets.ANYON_API_KEY }}
run: |
python scripts/get_manifest.py "${{ github.event.inputs.repo_url }}"
REPO_URL="${{ github.event.inputs.repo_url || github.event.client_payload.repo_url }}"
python scripts/get_manifest.py "$REPO_URL"

- name: Extract repo name for branch
id: repo-info
run: |
REPO_URL="${{ github.event.inputs.repo_url }}"
REPO_URL="${{ github.event.inputs.repo_url || github.event.client_payload.repo_url }}"
REPO_NAME=$(echo "$REPO_URL" | sed 's/.*github\.com[:/]//' | sed 's/\.git$//' | tr '/' '-')
echo "repo_name=$REPO_NAME" >> $GITHUB_OUTPUT
echo "branch_name=add-manifest-$REPO_NAME" >> $GITHUB_OUTPUT

- name: Create Pull Request
uses: peter-evans/create-pull-request@v5
with:
token: ${{ secrets.GITHUB_TOKEN }}
token: ${{ secrets.MCPM_PERSONAL_ACCESS_TOKEN }}
commit-message: |
feat: add manifest for ${{ steps.repo-info.outputs.repo_name }}

Generated manifest JSON for repository: ${{ github.event.inputs.repo_url }}
Generated manifest JSON for repository: ${{ github.event.inputs.repo_url || github.event.client_payload.repo_url }}

🤖 Generated with [Claude Code](https://claude.ai/code)

Expand All @@ -61,7 +64,7 @@ jobs:
body: |
## Summary

This PR adds a new MCP server manifest generated from the repository: ${{ github.event.inputs.repo_url }}
This PR adds a new MCP server manifest generated from the repository: ${{ github.event.inputs.repo_url || github.event.client_payload.repo_url }}

## Changes

Expand Down
Loading