diff --git a/.gitea/workflows/publish-wiki.yml b/.gitea/workflows/publish-wiki.yml new file mode 100644 index 0000000..2b97c55 --- /dev/null +++ b/.gitea/workflows/publish-wiki.yml @@ -0,0 +1,43 @@ +# Publish the project's wiki pages to the git host's wiki. +# +# Purpose: copies the Markdown pages of docs/wiki/ (English, Danish `-da` and +# Bahasa Malaysia `-ms`) to the wiki of this repository. +# Triggers: a push to main that changes docs/wiki/ (no manual trigger: the run +# changes the wiki, and the called workflow has no dry-run input). +# Inputs: none; wiki_dir and prune are fixed below. +# Secrets: TOKEN_FOR_GITEA_WIKI (organization secret, scope write:repository). +# Changes outside the repository: creates, updates and, because prune is +# "true", deletes pages of this repository's wiki so the wiki equals +# docs/wiki/. +# Decision: milestone MIL-003, task "Add the publish-wiki workflow". +# Host: Gitea Actions only (the called workflow uses `gitea.*` contexts). +# It needs a runner registered for the repository or organization. +# Pinning: the called workflow and its script are pinned to the same release +# (workflow ref and tools-ref are both v1.2.2). + +--- +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/github-action/.gitea/workflows/publish-wiki-pages.yml@v1.2.2 + with: + wiki_dir: docs/wiki + prune: "true" + tools-ref: v1.2.2 + secrets: + TOKEN_FOR_GITEA_WIKI: ${{ secrets.TOKEN_FOR_GITEA_WIKI }} diff --git a/.yamllint b/.yamllint new file mode 100644 index 0000000..f9edf2e --- /dev/null +++ b/.yamllint @@ -0,0 +1,8 @@ +--- +# yamllint configuration of this repository (yamllint 1.38.0). +extends: default +rules: + line-length: + max: 100 + truthy: + check-keys: false