Pine/deepseek-harness
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases 1 Wiki Activity

Revert "chore: run primary CI before push"

Browse Source
This commit is contained in:
Tianyi Cui
2026-07-23 14:02:58 +08:00
committed by GitHub
parent 9c01696a7e
commit c79b34bda5
18 changed files with 37 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.agents/notes/implemented/process/2026-07-06-parallel-pre-push-gates.md
+1 -1
View File
@@ -2,7 +2,7 @@
Status: implemented
[Local primary CI before push](2026-07-23-local-primary-ci-before-push.md) now owns the local-hook contract: pre-push selects the same primary inventory as CI. The bounded gate scheduler and package-level `publint` parallelism remain in force for CI, `doc-sync`, and explicit local commands.
The local-hook portion of this record is superseded by [Fast local Git hooks](2026-07-22-fast-local-git-hooks.md). The bounded gate scheduler and package-level `publint` parallelism remain in force for CI, `doc-sync`, and explicit local commands.
## Problem