chore: add pre-push hook + update CONTRIBUTING.md#53

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

chore/pre-push-hookMathNetwork/ProofAtlas:chore/pre-push-hookCopy head branch name to clipboard