Skip to content

Hotfix: redirect docs site root to module documentation#25

Merged
PierreJanineh merged 1 commit into
mainfrom
hotfix/docs-root-redirect
Jun 1, 2026
Merged

Hotfix: redirect docs site root to module documentation#25
PierreJanineh merged 1 commit into
mainfrom
hotfix/docs-root-redirect

Conversation

@PierreJanineh

Copy link
Copy Markdown
Member

📋 Description

Post-1.1.0 docs-site hotfix. The bare GitHub Pages URL (…github.io/ProgressUI/) rendered DocC's "page can't be found" because a DocC site has no root landing page — the module lives at /documentation/progressui.

This adds a workflow step that overwrites the generated root index.html with a redirect to documentation/progressui. Per-route pages have their own index.html, so deep links are unaffected.

  • No library/source changes — workflow only. No version bump.
  • Redeploys Pages on merge to main.

🔄 Type of Change

  • 🐛 Bug fix (docs deployment)

✅ Tested

  • docs.yml YAML validated.
  • Verified the deep URL already serves (200) and the per-route page exists, so replacing the root is safe.

🤖 Generated with Claude Code

The bare GitHub Pages URL rendered DocC's "page can't be found" because a
DocC site has no root landing page. Overwrite the generated root index.html
with a redirect to /documentation/progressui (per-route pages are unaffected).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@PierreJanineh PierreJanineh merged commit 453a50b into main Jun 1, 2026
10 checks passed
@PierreJanineh PierreJanineh deleted the hotfix/docs-root-redirect branch June 1, 2026 04:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant