Skip to content

docs: expose site through GitHub Pages - #3

Merged
FermiHart merged 1 commit into
mainfrom
docs/github-pages
Aug 25, 2026
Merged

FermiHart merged 1 commit into
mainfrom
docs/github-pages

Conversation

@FermiHart

Copy link
Copy Markdown
Owner

Summary

  • add a root entry that redirects GitHub Pages visitors to the existing BearBoot site
  • disable Jekyll rewriting so repository-relative proof assets and documentation paths remain stable
  • extend verify-site to enforce the Pages entry contract

Validation

  • make verify-site
  • git diff --check
  • local HTTP render follows the redirect and loads the BearBoot landing page
  • linked SVGs and project documents return successfully

@FermiHart
FermiHart merged commit 0d603ec into main Aug 25, 2026
3 checks passed
@FermiHart
FermiHart deleted the docs/github-pages branch August 25, 2026 07:20
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