Create a git pre-commit hook that runs publication checks
In addition to #5, it would be useful to have a pre-commit hook that runs on the user side, and before committing*pushing changes, the different publication checks.
In addition to #5, it would be useful to have a pre-commit hook that runs on the user side, and before committing*pushing changes, the different publication checks.