Skip to content

Add tool to scan for references of deleted or renamed READMEs#3041

Open
silas-hw wants to merge 10 commits into
agda:masterfrom
silas-hw:defunct-readme
Open

Add tool to scan for references of deleted or renamed READMEs#3041
silas-hw wants to merge 10 commits into
agda:masterfrom
silas-hw:defunct-readme

Update defunct-readme to take in comparison branch as an argument

cbd570c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view