Make the publisher a scoped workflow #57

Closed
opened 2026-10-10 05:30:58 +02:00 by Tirsvad · 0 comments
Owner

Embed the publish script in .gitea/scoped_workflows/publish-wiki.yml as the metadata sync does, so it needs nothing from tools/ in the target repository, and run it only on a change under wiki/. Remove .gitea/workflows/publish-wiki.yml and tools/publish_wiki.py so the workflow has one source, and keep this repository's drift check in the validation tests.

Phase: MIL-006

Embed the publish script in `.gitea/scoped_workflows/publish-wiki.yml` as the metadata sync does, so it needs nothing from `tools/` in the target repository, and run it only on a change under `wiki/`. Remove `.gitea/workflows/publish-wiki.yml` and `tools/publish_wiki.py` so the workflow has one source, and keep this repository's drift check in the validation tests. Phase: MIL-006
Tirsvad added this to the MIL-006: Shared wiki publishing milestone 2026-10-10 05:30:58 +02:00
Sign in to join this conversation.