marvin8/wuming
Watch
1
0
Fork
You've already forked wuming
 0
Code Issues Pull requests Releases 9 Activity Actions

Publish docs to wuming.marvin8.zone via grebedoc #31

Merged
coding-agent-marvin8 merged 0 commits from refs/pull/31/head into main 2026-06-26 03:22:28 +00:00
Conversation 0 Commits - Files changed -
coding-agent-marvin8 commented 2026-06-26 03:17:44 +00:00 (Migrated from codeberg.org)
Copy link

Adds a Woodpecker docs-deploy pipeline and updates MkDocs config to serve the WuMing documentation at https://wuming.marvin8.zone using grebedoc.dev.

Changes

  • .woodpecker/docs.yml — new pipeline that runs on tag events: builds versioned docs with mike deploy and pushes to the pages branch that grebedoc serves
  • mkdocs.yml — site_url updated to https://wuming.marvin8.zone; mike plugin configured to use the pages branch

Also includes a batch of pending dep bumps (ruff 0.15.20, ty 0.0.54, uv 0.11.24, pysentry-rs 0.4.7, httpx2 2.5.0, zaojun 1.7.0 in pre-commit) and the nox session rename dependency_versions → zaojun.

Pre-requisites (outside this repo)

  • Add a Woodpecker secret codeberg_token with write-repository scope so the pipeline can push the pages branch
  • DNS: TXT record at _git-pages-repository.wuming.marvin8.zone containing the Codeberg clone URL (domain ownership proof for grebedoc)
  • DNS: A/AAAA or CNAME for wuming.marvin8.zone pointing to grebedoc.dev

Closes #30

Adds a Woodpecker docs-deploy pipeline and updates MkDocs config to serve the WuMing documentation at https://wuming.marvin8.zone using grebedoc.dev. ## Changes - `.woodpecker/docs.yml` — new pipeline that runs on tag events: builds versioned docs with `mike deploy` and pushes to the `pages` branch that grebedoc serves - `mkdocs.yml` — `site_url` updated to `https://wuming.marvin8.zone`; mike plugin configured to use the `pages` branch Also includes a batch of pending dep bumps (ruff 0.15.20, ty 0.0.54, uv 0.11.24, pysentry-rs 0.4.7, httpx2 2.5.0, zaojun 1.7.0 in pre-commit) and the nox session rename `dependency_versions` → `zaojun`. ## Pre-requisites (outside this repo) - Add a Woodpecker secret `codeberg_token` with write-repository scope so the pipeline can push the `pages` branch - DNS: TXT record at `_git-pages-repository.wuming.marvin8.zone` containing the Codeberg clone URL (domain ownership proof for grebedoc) - DNS: A/AAAA or CNAME for `wuming.marvin8.zone` pointing to grebedoc.dev Closes #30
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference
marvin8/wuming!31
No description provided.