Skip to content

Add recipe for remapping GitHub URLs to a commit - #159

Merged
mre merged 1 commit into
masterfrom
recipe-remap-github-commit
Jun 7, 2026
Merged

Add recipe for remapping GitHub URLs to a commit#159
mre merged 1 commit into
masterfrom
recipe-remap-github-commit

Conversation

@mre

@mre mre commented Jun 7, 2026

Copy link
Copy Markdown
Member

Adds a docs recipe explaining how to use --remap so links to files that only exist on a feature branch pass CI link checks.

It rewrites default-branch GitHub URLs (e.g. /blob/main) to the commit being checked — the merge commit in pull request workflows — so a not-yet-merged file resolves, while deleted or moved files are still correctly flagged. Includes a copy-pasteable GitHub Actions example using github.sha and github.repository.

Closes #144.

Documents how to use --remap so links to files that only exist on a feature branch pass CI link checks, by rewriting default-branch URLs to the checked commit (the merge commit in PR workflows). Closes #144.
@mre
mre requested review from katrinafyi and thomas-zahner June 7, 2026 12:39

@katrinafyi katrinafyi left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Quite happy with this, thanks @mre !

@mre

mre commented Jun 7, 2026

Copy link
Copy Markdown
Member Author

Thanks. At some point we still should think about restructuring our docs (#143), but it's probably best to not make this a blocker and merge in the changes as we go to help more users. :)

@mre
mre merged commit d588f86 into master Jun 7, 2026
2 checks passed
@mre
mre deleted the recipe-remap-github-commit branch June 7, 2026 13:25
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.

Add recipe for remapping Github URLs to commit

2 participants