Skip to content

docs: Drop the branch from the coverage badge - #2902

Open
krlmlr wants to merge 1 commit into
mainfrom
claude/badge-harmonization
Open

docs: Drop the branch from the coverage badge#2902
krlmlr wants to merge 1 commit into
mainfrom
claude/badge-harmonization

Conversation

@krlmlr

@krlmlr krlmlr commented Sep 13, 2026

Copy link
Copy Markdown
Contributor

Two URLs make up the coverage badge and they had drifted apart: the image is served from the bare codecov.io host, the link opens the UI on app.codecov.io. Both are brought to their current form.

The branch is dropped from the image URL rather than pinned to main. A branch-pinned badge keeps reporting the branch it names, so it goes stale silently the next time a branch is renamed — which is how several badges in this fleet came to report a branch that no longer exists. Without the pin, codecov reports the default branch and the badge follows a rename on its own.

The link moves to /tree/main, the address the ?branch= query redirects to.

image  codecov.io/gh/igraph/rigraph/graph/badge.svg
link   app.codecov.io/gh/igraph/rigraph/tree/main

The owner and repository are carried over from the URL being rewritten, so this cannot retarget a badge at a different project. There is no README.Rmd here, so the edit lands in README.md directly.

This is part of a fleet-wide badge harmonization. Elsewhere the badge change sits on top of the pkgdown harmonization and targets it; that work has not reached this repository, so this branch targets main directly.

The branch previously also carried the pending CI alignment with cynkratemplate as a first commit. That change has since landed on main as #2892, so the rebase dropped it and this branch is now the badge change alone.

🤖 Generated with Claude Code

https://claude.ai/code/session_01WWhverMTZZKgEpUuTK117m


Generated by Claude Code

Two URLs make up the badge and they had drifted apart: the image is
served from the bare `codecov.io` host, the link opens the UI on
`app.codecov.io`. Both are brought to their current form.

The branch is dropped from the image URL rather than pinned to `main`. A
branch-pinned badge keeps reporting the branch it names, so it goes
stale silently the next time a branch is renamed -- which is how several
badges in this fleet came to report a branch that no longer exists.
Without one, codecov reports the default branch and the badge follows a
rename on its own.

The link moves to `/tree/main`, the address the `?branch=` query
redirects to.

    image  codecov.io/gh/<owner>/<repo>/graph/badge.svg
    link   app.codecov.io/gh/<owner>/<repo>/tree/main

The owner and repository are carried over from the URL being rewritten,
so this cannot retarget a badge at a different project.

The badge block is pass-through markdown, so `README.md` and `index.md`
carry the identical edit rather than a re-render.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WWhverMTZZKgEpUuTK117m
@krlmlr
krlmlr force-pushed the claude/badge-harmonization branch from 53acdc8 to c193ee9 Compare September 13, 2026 17:20
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