Make the wiki publisher a scoped workflow with an opt-in gate #62

Merged

Tirsvad merged 1 commits from mil-006-scoped-publisher into main

2026-10-10 05:39:34 +02:00

Author	SHA1	Message	Date
Tirsvad	c4bbea4a2b	Make the wiki publisher a scoped workflow with an opt-in gate Validate workflows / validate (pull_request) Successful in 12s Details Embed the publish script in .gitea/scoped_workflows/publish-wiki.yml and remove the repository workflow and tools/publish_wiki.py. A repository publishes only when wiki/.publish exists; the word prune in it is the only thing that lets the workflow delete pages. The organisation's TOKEN_FOR_GITEA_WIKI is used with no fallback. This repository opts in with prune. Tests run the embedded script against a fake Gitea. Task: MIL-006#2 Task: MIL-006#3	2026-10-10 11:39:11 +08:00

Author

SHA1

Message

Date

Tirsvad

c4bbea4a2b

Make the wiki publisher a scoped workflow with an opt-in gate

Validate workflows / validate (pull_request) Successful in 12s

Details

Embed the publish script in .gitea/scoped_workflows/publish-wiki.yml and
remove the repository workflow and tools/publish_wiki.py. A repository
publishes only when wiki/.publish exists; the word prune in it is the only
thing that lets the workflow delete pages. The organisation's
TOKEN_FOR_GITEA_WIKI is used with no fallback. This repository opts in with
prune. Tests run the embedded script against a fake Gitea.

Task: MIL-006#2
Task: MIL-006#3

2026-10-10 11:39:11 +08:00