Repository navigation
ci: repin org routing to link the project profile - #156
Merged
Merged
Conversation
Repins the organization Org Routing workflow to dc23385 and regenerates the AGENTS.md block, whose Reporting issues section now links its source: the project profile under decision 0040. Refs z-shell/.github#780
ss-o
commented
Oct 9, 2026
ss-o
left a comment
ss-o
left a comment
Member
Author
There was a problem hiding this comment.
Fallback review under ADR-0026: Copilot request not registered on 44e54eb
Findings
No actionable findings.
Scope: the single commit and its complete diff against main: one pin line in .github/workflows/org-routing.yml and two lines in the generated org-routing block in AGENTS.md.
Note
This is a review by the authoring session, posted after the Copilot request did not register. It is neither an independent review nor approval to merge.
Validation
- Passed: 23 checks on this head, including Org Routing on the repinned workflow.
- Passed locally:
org-routing.py check --repository z-shell/zpmodatdc23385reports the block current.trunk checkon both files reports no issues.
Checklist verdicts and supporting evidence
- Correctness: pass. The only change to the block is the provenance line from z-shell/.github#785. Its two links point at the profile file and the accepted ADR-0040 on
main. - CI and supply chain: pass. The pin is a full SHA on z-shell/.github
main, with the interim# maincomment. - Security and privacy: pass. No permissions, secrets or execution paths change.
Limits and follow-up
- None. This completes the provenance rollout under z-shell/.github#780.
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
1 participant
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
.github/workflows/org-routing.yml: repin the organization Org Routing workflow from2c5906ftodc23385on z-shell/.githubmain.AGENTS.md: regenerate theorg-routingblock. TheReporting issuessection gains one closing line that links the project profile and ADR-0040, and says to change these facts there (feat(governance): link the profile and ADR-0040 from the reporting section .github#785). Nothing else changes.Refs z-shell/.github#780
Verification
org-routing.py check --repository z-shell/zpmodfrom a z-shell/.github checkout atdc23385reports the block current, Zsh version check included.gh api repos/z-shell/.github/compare/main...dc233851b57784314f99ce5099ea00fc05dc303d --jq .statusprintsidentical.trunk check --no-fix --ci AGENTS.md .github/workflows/org-routing.ymlreports no issues.Agent handoff
No handoff needed.