Skip to content

chore: refresh MCP Toplist rank badge - #289

Merged
cdeust merged 2 commits into
mainfrom
chore/mcp-toplist-badge-refresh
Jul 30, 2026
Merged

chore: refresh MCP Toplist rank badge#289
cdeust merged 2 commits into
mainfrom
chore/mcp-toplist-badge-refresh

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated refresh of assets/badge-mcp-toplist.svg from upstream.

The regenerated SVG carries its own provenance in a comment: the
source path it came from, the raw rank and field size, the
percentile arithmetic, and the date read. Check that comment
against the linked listing before merging — this workflow
proposes a claim for your README, it does not certify one.

Opened by .github/workflows/mcp-toplist-badge.yml.

PRs opened with the default GITHUB_TOKEN do not trigger workflows (GitHub's
documented behaviour, and noted in this repo's own CHANGELOG for exactly this
workflow), so #289's required CI checks never started and it sat
MERGEABLE/BLOCKED with only the 4 CodeQL checks reported. An empty commit
pushed from a user credential starts them. #290 fixed the repo setting that
prevents Actions from opening these PRs at all; this unblocks the one already
open.
@cdeust
cdeust merged commit 3f0522b into main Jul 30, 2026
30 of 31 checks passed
@cdeust
cdeust deleted the chore/mcp-toplist-badge-refresh branch July 30, 2026 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant