There is either a permission issue, or mike does not use the proper procedure. I've tried fixing it in production, but that failed. We should probably create a separate repo to test docs deployment.

For now, documentation deployment can be run from a local machine.