fix(sarif): point informationUri at git.trevon.dev #2
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/forgejo-home"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Problem
fold lives only on git.trevon.dev (the GitHub copy is being retired), but every SARIF report fold writes set
tool.driver.informationUritohttps://github.com/trvon/fold, so code-scanning UIs and SARIF viewers sent readers to the wrong place.Solution
src/report/sarif.cppnow emitshttps://git.trevon.dev/trevon/fold. No other source, doc or config referenced the GitHub URL (checked outside the historical benchmark run artifacts undertests/benchmarks/runs/, which record what past versions emitted and are left as-is).Tests
test_scan_e2enow asserts the URI; it failed before the change. Full suite: 140/140 pass (release build of master + this commit).Written by Claude (Claude Code) at the maintainer's direction.