Skip to content

Release v0.8.12 - Release notes + GitHub Pages deployment docs#13

Merged
mgks merged 2 commits into
mainfrom
hotfix-0.8.12-gh-pages-base
Jul 12, 2026
Merged

Release v0.8.12 - Release notes + GitHub Pages deployment docs#13
mgks merged 2 commits into
mainfrom
hotfix-0.8.12-gh-pages-base

Conversation

@mgks

@mgks mgks commented Jul 12, 2026

Copy link
Copy Markdown
Member

v0.8.12 Docs Release

What's included

  1. Release notes for v0.8.12 in EN, DE, ZH (v08/{en,de,zh}/release-notes/0-8-12.md)

  2. Navigation entries — added v0.8.12 and v0.8.11 to the Release Notes section in all three locales (v0.8.11 was missing from the nav)

  3. GitHub Pages deployment docs — new "Project Pages (Subpath Deployment)" section in the GitHub Action guide explaining that users only need to set url and docmd auto-derives the asset base path

Related

mgks added 2 commits July 12, 2026 17:30
…uide

Explains that users only need to set url for GitHub Pages project sites.
docmd auto-derives the asset base path from the URL. No manual base
config needed. Mentions base override only as a rare edge case.
@mgks
mgks merged commit 6663a94 into main Jul 12, 2026
@mgks
mgks deleted the hotfix-0.8.12-gh-pages-base branch July 12, 2026 13:07
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