Also remove pre-push hook? #556
Description
Following #259: it's inconvenient to wait for a full lint + typecheck after every git push. CI builds reinforce them anyway. Can they be removed, please?
{{ message }}
Following #259: it's inconvenient to wait for a full lint + typecheck after every git push. CI builds reinforce them anyway. Can they be removed, please?