Skip Git hook repository check to enable build without `.git`#301

Merged

joschi merged 1 commit intomasterfrom

githook-skip-repo-check

Dec 12, 2021

Commits on Dec 12, 2021

Skip Git hook repository check to enable build without `.git`
joschi
committed