42 lines
1.3 KiB
YAML
42 lines
1.3 KiB
YAML
# Publish the wiki pages of docs/wiki/ to the wiki of this repository.
|
|
#
|
|
# Purpose: keep the wiki (English, Danish, Bahasa Melayu) equal to the folder.
|
|
# Tool: Gitea Actions; calls the reusable workflow
|
|
# TirSystem/git-workflows publish-wiki-pages (same release policy as
|
|
# the framework: the major tag v1 only receives compatible changes).
|
|
# Triggers: a push to main that changes docs/wiki/ (the protected branch);
|
|
# there is no manual trigger, so no run can change the wiki by accident.
|
|
# Input: wiki_dir docs/wiki; prune "true" deletes wiki pages that are not in
|
|
# the folder.
|
|
# Secret: TOKEN_FOR_GITEA_WIKI, an organization secret with the scope
|
|
# write:repository (framework/templates/ci/publish-wiki.yml, step 1).
|
|
# Changes outside the repository: the wiki of this repository.
|
|
# Decision: MIL-007 (docs/milestones/mil-007-wiki-and-release.md), task 5.
|
|
|
|
---
|
|
name: Publish wiki
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
paths:
|
|
- "docs/wiki/**"
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
concurrency:
|
|
group: publish-wiki
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
wiki:
|
|
name: Publish wiki pages
|
|
uses: TirSystem/git-workflows/.gitea/workflows/publish-wiki-pages.yml@v1
|
|
with:
|
|
wiki_dir: docs/wiki
|
|
prune: "true"
|
|
secrets:
|
|
TOKEN_FOR_GITEA_WIKI: ${{ secrets.TOKEN_FOR_GITEA_WIKI }}
|