Skip to content

pre-push: gate a commit whose tree does not track the contract - #47

Open
mgillr wants to merge 1 commit into
mainfrom
gate-copies-untracked-contract
Open

mgillr wants to merge 1 commit into
mainfrom
gate-copies-untracked-contract

Commits

  1. Commits on Oct 21, 2026