-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: devseunggwan/praxis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(hooks): gate repo-less gh writes in cross-boundary-preflight
#1149
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
fix: close the Gate-4 doc gap and land the codeql bump as one commit
#1147
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
test(hooks): re-grade the six state consumers against Q0
#1146
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
docs(rules): name the class of evidence claims that terminate in prose
#1145
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
fix(retrospect): gate issue rows at the stage4 approval step
#1144
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
feat(hooks): advise on unanchored comment sprawl
#1143
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
feat(ci): derive the sibling-gate enumeration from the manifest
#1142
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
ci: bump github/codeql-action/init from 4.37.7 to 4.37.9
dependencies
Pull requests that update a dependency file
github-actions
Pull requests that update GitHub Actions code
#1140
opened Aug 29, 2026 by
dependabot
Bot
Loading…
ci: bump github/codeql-action/analyze from 4.37.7 to 4.37.9
dependencies
Pull requests that update a dependency file
github-actions
Pull requests that update GitHub Actions code
#1139
opened Aug 29, 2026 by
dependabot
Bot
Loading…
fix(retrospect): gate-4 audits issue-routed public writes
#1135
opened Aug 29, 2026 by
devseunggwan
Owner
Loading…
chore(main): release 7.13.0
autorelease: pending
#1121
opened Aug 25, 2026 by
devseunggwan
Owner
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.