feat(idris-dependents): read-only audit for external Idris2 dependents - #628

feat(idris-dependents): read-only audit for external Idris2 dependents#628

hyperpolymath merged 7 commits into

mainhyperpolymath/gitbot-fleet:mainfrom

claude/idris-dependents-audithyperpolymath/gitbot-fleet:claude/idris-dependents-auditCopy head branch name to clipboard