fix redoc url

[shuvyA]

Fixes Issue

Changes proposed

Screenshots

Summary of changes in packages/opal-server/opal_server/server.py:

1. Imports (line 9–11): Added Request, get_redoc_html, HTMLResponse
2. FastAPI constructor (line 203): Added redoc_url=None to disable the broken built-in Redoc
3. Custom /redoc route (line 280–288): Added a root_path-aware handler that uses the CDN-hosted redoc JS — exactly the same pattern as the permit-backend fix in PR #2880

✻ Churned fo

Check List (Check all the applicable boxes)

• I sign off on contributing this submission to open-source
• My code follows the code style of this project.
• My change requires changes to the documentation.
• I have updated the documentation accordingly.
• All new and existing tests passed.
• This PR does not contain plagiarized content.
• The title of my pull request is a short description of the requested changes.

Note to reviewers

[linear]

PER-13387 Fix OPAL server Redoc URL

[netlify]

✅ Deploy Preview for opal-docs canceled.

Name	Link
🔨 Latest commit	27aa4df
🔍 Latest deploy log	https://app.netlify.com/projects/opal-docs/deploys/69f083c63b7514000892474d

[Copilot]

Pull request overview

Fixes the OPAL Server ReDoc endpoint by disabling FastAPI’s built-in ReDoc route and replacing it with a custom /redoc handler that correctly accounts for root_path and uses a CDN-hosted ReDoc bundle.

Changes:

• Disable FastAPI’s built-in ReDoc route via redoc_url=None.
• Add a custom /redoc endpoint that builds a root_path-aware openapi_url and serves ReDoc HTML using get_redoc_html.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.