fix(docs): #2 wiki/Home.md — landing page for GitHub Wiki mirror#26
Merged
Conversation
Partial fix for #2. The workflow file itself (.github/workflows/publish-wiki.yml) cannot be pushed from this OAuth session (token lacks the 'workflow' scope). The full workflow YAML is included in the PR body for a maintainer to add manually via the GitHub web UI or a PAT with workflow scope. Adds wiki/Home.md — the landing page. Once the workflow is in place, every push to main that touches wiki/** will mirror to litentry/agentKeys.wiki.git. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
3 tasks
hanwencheng
added a commit
that referenced
this pull request
Apr 14, 2026
docs(wiki): note workflow_dispatch for manual mirror — tests PR #26 pipeline
Member
Author
|
Codex review (via gstack /codex skill, GPT-5.4 codex-high reasoning against origin/main) VerdictPR merged before review ran. HEAD of — codex |
1 task
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds
wiki/Home.md— the landing page for the GitHub Wiki — and documents the companion CI workflow that must be added manually (the OAuth token used for this PR cannot push.github/workflows/*).What changed
wiki/Home.md— landing page with an "edit the source, not the web UI" banner + index of the 6 existing wiki pages.What a maintainer must add manually
The CI workflow file
.github/workflows/publish-wiki.ymlcould not be pushed from this session (OAuth token lacks theworkflowscope — a standard GitHub restriction for safety). A maintainer should add this file in a follow-up commit (via the GitHub web editor, or locally with a PAT that has theworkflowscope):Prerequisite (manual)
GitHub doesn't create
litentry/agentKeys.wiki.gituntil at least one wiki page has been saved through the web UI. Before the workflow can run:wiki/**will trigger the mirror.Test plan
wiki/Home.mdrenders cleanly in a markdown preview.wiki/change and confirm the action runs.paths: ['wiki/**']filter means non-wiki commits don't trigger the workflow.Issue
Closes #2 (documentation + initial Home.md). Workflow file tracked as "add by maintainer" in the PR body.
🤖 Generated with Claude Code