Tirsvad
10e88e8a27
- publish-wiki-pages.yml: reusable workflow with wiki_dir, prune and tools-ref inputs and the declared secret TOKEN_FOR_GITEA_WIKI - tools/publish_wiki.py: WIKI_PRUNE selects explicit mode without the marker; a missing folder is a configuration error - publish-own-wiki.yml: this repository calls the reusable workflow - wiki/ moves to docs/wiki/; build_wiki.py and its tests follow - the scoped publish-wiki.yml is marked deprecated, not removed - guides, README and the Danish and Bahasa Malaysia wiki pages describe the caller, docs/wiki/ and the new error messages Task: MIL-008#2 Task: MIL-008#4 Task: MIL-008#5 Task: MIL-008#6
49 lines
1.5 KiB
YAML
49 lines
1.5 KiB
YAML
name: Publish wiki
|
|
|
|
# DEPRECATED (ADR-0009, MIL-008): repositories publish their wiki by calling
|
|
# the reusable workflow publish-wiki-pages.yml. This scoped workflow stays
|
|
# until every repository that has wiki/.publish has migrated; it is then
|
|
# removed in a later major release.
|
|
|
|
# Shared through scoped delivery: it runs in every repository of an
|
|
# organization, but writes only where the repository has opted in with
|
|
# wiki/.publish (ADR-0004). TOKEN_FOR_GITEA_WIKI is read from the organization
|
|
# secrets; there is no fallback to the read-only sync token. The script is a
|
|
# file of TirSystem/github-action (tools/publish_wiki.py), fetched with a
|
|
# second checkout so that it is readable, lintable and tested as a file
|
|
# (MIL-004 task 6).
|
|
on:
|
|
push:
|
|
branches: [ main ]
|
|
paths:
|
|
- "wiki/**"
|
|
workflow_dispatch:
|
|
|
|
concurrency:
|
|
group: publish-wiki
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
publish-wiki:
|
|
permissions:
|
|
contents: read
|
|
runs-on: ubuntu-latest
|
|
timeout-minutes: 10
|
|
steps:
|
|
- name: Check out the repository
|
|
uses: actions/checkout@v4.2.2
|
|
|
|
- name: Fetch the shared script
|
|
uses: actions/checkout@v4.2.2
|
|
with:
|
|
repository: TirSystem/github-action
|
|
ref: v1
|
|
path: shared-scripts
|
|
|
|
- name: Publish the pages to the wiki
|
|
env:
|
|
GITEA_API_URL: ${{ gitea.api_url }}
|
|
SOURCE_REPOSITORY: ${{ gitea.repository }}
|
|
WIKI_CREDENTIALS: ${{ secrets.TOKEN_FOR_GITEA_WIKI }}
|
|
run: python3 shared-scripts/tools/publish_wiki.py
|