Skip to content

Drop docs/, serve site from gh-pages, refresh favicons#8

Merged
milkway merged 1 commit into
mainfrom
chore/drop-docs-use-ghpages
Jun 14, 2026
Merged

Drop docs/, serve site from gh-pages, refresh favicons#8
milkway merged 1 commit into
mainfrom
chore/drop-docs-use-ghpages

Conversation

@milkway

@milkway milkway commented Jun 14, 2026

Copy link
Copy Markdown
Contributor

GitHub Pages was configured (legacy) to serve from main/docs, while the pkgdown action deploys to the gh-pages branch — so the committed docs/ build was freezing the live site on an old version (old/distorted logo).

  • Pages source switched to the gh-pages branch (root).
  • Remove the committed docs/ build (now redundant) and add docs/ to .gitignore.
  • Regenerate favicons from the corrected logo (favicon.svg previously embedded the old distorted hexagon).

The pkgdown action rebuilds and deploys to gh-pages on merge; Pages now serves that.

🤖 Generated with Claude Code

- Remove the stale committed pkgdown build under docs/. GitHub Pages now
  serves from the gh-pages branch (kept up to date by the pkgdown action),
  so the in-repo docs/ copy was redundant and was freezing the live site
  on an old build.
- Add docs/ to .gitignore so local builds aren't committed.
- Regenerate favicons from the corrected logo (the previous favicon.svg
  embedded the old distorted hexagon).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@milkway milkway merged commit 1888ebb into main Jun 14, 2026
1 check passed
@milkway milkway deleted the chore/drop-docs-use-ghpages branch June 14, 2026 18:42
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