Repository navigation

ci: let the wiki refresh push the GitHub wiki - #7

Merged

kingdomseed merged 19 commits into

mainfrom

claude/clever-meitner-iyop54

Oct 23, 2026

Merged

ci: let the wiki refresh push the GitHub wiki#7
kingdomseed merged 19 commits into
mainfrom
claude/clever-meitner-iyop54

Commits on Oct 23, 2026
- ci: remove legacy Droid workflows
  claude
  committed
  b9be8b1
- docs: drop the reusable review workflow from the README intro
  claude
  committed
  9b498e4
- Merge main into claude/clever-meitner-iyop54
  claude
  committed
  6e1f73b
- ci: review each PR once and refresh the wiki monthly
  claude
  committed
  3c847c9
- ci: create the droid-reviewed label and keep wiki runs on main
  claude
  committed
  f1f9a13
- ci: restart an unlabelled review on push and label only the reviewed head
  claude
  committed
  013c004
- Review CI Steward fix pushes on labelled PRs; note the mentions switch
  claude
  committed
  cda9d05
- Say that removing the label makes the next push eligible
  claude
  committed
  2227342
- Treat a label created by a concurrent review as success
  claude
  committed
  d8aa5a1
- Confirm the label exists after a rejected create
  claude
  committed
  fb09d8c
- Run the wiki refresh only from the default branch, not a same-named tag
  claude
  committed
  79b33a0
- Cut the review-once change back to what was asked for
  claude
  committed
  5f48052
- Merge remote-tracking branch 'origin/main' into claude/clever-meitner-iyop54
  claude
  committed
  e83aed6
- Create the droid-reviewed label before adding it
  claude
  committed
  0c0be80
- Merge remote-tracking branch 'origin/main' into claude/clever-meitner-iyop54
  claude
  committed
  4a8cb61
- Run the wiki refresh only by hand
  claude
  committed
  0f026c3
- Merge origin/main
  claude
  committed
  e58d06d
- ci: let the wiki refresh push the GitHub wiki
  claude
  committed
  bf8ca8a
- ci: give the wiki push a credential helper, not a second header
  claude
  committed
  7ba7ca5

Commits

Commits on Oct 23, 2026