Make build script that generates html from srt files, then pushes to redot-docs-live

[adikhoff]

• Combines migrate.py, Sphinx, and some standard shell tools
• Uses a deploy key that's limited to only the redot-docs-live repo
• Publishes with ssh
• Uses build secrets in CloudFlare that contain ssh keys
• Contains a hack that removes a git config var that was inserted by CloudFlare
• Limited external configurability for now, may change if needed

[cloudflare-workers-and-pages[bot]]

Deploying redot-docs-build with    Cloudflare Pages

Latest commit:	643e228
Status:	⚡️  Build in progress...

View logs