Closed schafezp closed 6 years ago
It is frustrating to have to appease mypy/pylint whenever a commit is made. Instead only a push should be stopped so source code stored on the main repo is high quality.
https://stackoverflow.com/questions/10864903/does-github-allow-pre-receive-hooks
Apparently there is no pre-recieve on regular github but pre-push can be used.
It is frustrating to have to appease mypy/pylint whenever a commit is made. Instead only a push should be stopped so source code stored on the main repo is high quality.