Deploying Antora with GitHub Actions and a private GitHub repo