De-slop internal docs + config (repo now fully em-dash-free) (#98)
Sync course wiki / sync-wiki (push) Successful in 4s
Sync course wiki / sync-wiki (push) Successful in 4s
Co-authored-by: claude <claude@jpaul.io> Co-committed-by: claude <claude@jpaul.io>
This commit was merged in pull request #98.
This commit is contained in:
@@ -1,9 +1,9 @@
|
||||
# Render the course (single source of truth = modules/) into the GitHub wiki on
|
||||
# every push to main. The wiki is generated BUILD OUTPUT — never hand-edit it.
|
||||
# every push to main. The wiki is generated BUILD OUTPUT; never hand-edit it.
|
||||
# This activates on the GitHub mirror; the Gitea copy uses .gitea/workflows/.
|
||||
#
|
||||
# Prerequisites (one-time on the mirror):
|
||||
# 1. The wiki must be INITIALIZED first — create any page once in the GitHub UI,
|
||||
# 1. The wiki must be INITIALIZED first; create any page once in the GitHub UI,
|
||||
# otherwise the <repo>.wiki.git remote does not exist and the clone fails.
|
||||
# 2. A repo secret WIKI_TOKEN holds a PAT with wiki/repo write. The default
|
||||
# GITHUB_TOKEN CANNOT push to the wiki repo, so a PAT is required.
|
||||
@@ -34,7 +34,7 @@ jobs:
|
||||
run: |
|
||||
set -euo pipefail
|
||||
if [ -z "${WIKI_TOKEN:-}" ]; then
|
||||
echo "::error::WIKI_TOKEN secret is not set — see this workflow's header."
|
||||
echo "::error::WIKI_TOKEN secret is not set; see this workflow's header."
|
||||
exit 1
|
||||
fi
|
||||
repo="${GITHUB_REPOSITORY}" # owner/repo
|
||||
|
||||
Reference in New Issue
Block a user