Skip to content

lint: nothing may cite a repository path that is not here (+ 11 that did) - #22

Merged
EricAndrechek merged 1 commit into
mainfrom
dead-references
Sep 11, 2026
Merged

lint: nothing may cite a repository path that is not here (+ 11 that did)#22
EricAndrechek merged 1 commit into
mainfrom
dead-references

lint: nothing may cite a repository path that is not here (+ 11 that …

4d37e42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar