Tirsvad 63af3afd13 publish-wiki: send titles with spaces so Gitea stores Home-da.md ...

Gitea keeps a hyphen in a page title literal and stored Home-da as
Home-da.-.md, addressed as Home%2Dda, so a link to Home-da found no page.
The publisher now sends the key with hyphens replaced by spaces.

Task: MIL-006#6
Closes #119

2026-10-13 11:41:08 +08:00

..

build_wiki.py

List all workflows with their purpose and a diagram on the Home page

2026-10-11 10:38:54 +08:00

changelog.py

Add the changelog entry of the first release, 1.0.0

2026-10-10 23:02:50 +08:00

publish_wiki.py

publish-wiki: send titles with spaces so Gitea stores Home-da.md

2026-10-13 11:41:08 +08:00

quality-checks.sh

Run the quality checks from a script file of this repository

2026-10-11 11:14:03 +08:00

release.py

Add the release workflow and its script

2026-10-10 23:01:30 +08:00

sync_github_metadata.py

End the sync log with Skipped when there is no GitHub mirror

2026-10-11 10:42:18 +08:00