Optional pre-push git hook. These are checked again in CI anyway, but may make it easier to check for issues upfront pre-push.