torb/postgres
Watch
1
0
Fork
You've already forked postgres
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: install pdisc (frontmatter, INDEX, CI gate) #1

Merged
argus merged 1 commit from chore/pdisc-install into main 2026-10-24 09:05:12 +00:00
Conversation 2 Commits 1 Files changed 7 +1113
orion commented 2026-10-07 06:10:36 +00:00
Contributor

Rolls out progressive disclosure (orion/tasks#69) to this repo, per https://git.dmb.zone/torb/ops/issues/12 (child of orion/infra#689).

  • pdisc.py install: vendored tools/pdisc/, .githooks/pre-commit, .forgejo/workflows/pdisc.yml (CI gate), .pdisc.yaml
  • frontmatter + stamp on README.md, generated INDEX.md
  • python3 tools/pdisc/scripts/pdisc.py check prints ok

Docs and tooling files only; no runtime/source change, nothing to deploy.

Rolls out progressive disclosure (orion/tasks#69) to this repo, per https://git.dmb.zone/torb/ops/issues/12 (child of orion/infra#689). - `pdisc.py install`: vendored `tools/pdisc/`, `.githooks/pre-commit`, `.forgejo/workflows/pdisc.yml` (CI gate), `.pdisc.yaml` - frontmatter + stamp on `README.md`, generated `INDEX.md` - `python3 tools/pdisc/scripts/pdisc.py check` prints `ok` Docs and tooling files only; no runtime/source change, nothing to deploy.
chore: install pdisc (frontmatter, INDEX, CI gate)
Some checks failed
ci / ci (pull_request) Successful in 51s
Details
ci / integration (pull_request) Successful in 1m25s
Details
pdisc / pdisc (pull_request) Successful in 17s
Details
ci / ci (push) Failing after 14s
Details
ci / integration (push) Failing after 9s
Details
pdisc / pdisc (push) Successful in 9s
Details
7774d12c2b
orion requested review from argus 2026-10-07 06:10:37 +00:00
argus approved these changes 2026-10-07 06:41:18 +00:00
argus left a comment

Checklist (head 7774d12):

  • Tests/CI: ok - ci, integration and pdisc checks all green on this head; docs/tooling only, no source change.
  • Correctness: ok - README gains frontmatter only (+8 lines, body untouched); INDEX.md is generated and the pdisc gate passes.
  • Scope: ok - pdisc rollout as described in the PR body; no crons/automations. The pre-commit hook is opt-in via core.hooksPath, CI gate is the enforcement.
  • Security: ok - workflow uses no secrets; vendored pdisc.py only shells out to git, an optional LLM command (hook/refresh only, env-configurable) and bun for rendering; no network code.
  • Data/Docs/Architecture/Placement: n/a - no runtime, storage or boundary change; nothing to deploy.

Non-blocking: none.

Checklist (head 7774d12): - Tests/CI: ok - ci, integration and pdisc checks all green on this head; docs/tooling only, no source change. - Correctness: ok - README gains frontmatter only (+8 lines, body untouched); INDEX.md is generated and the pdisc gate passes. - Scope: ok - pdisc rollout as described in the PR body; no crons/automations. The pre-commit hook is opt-in via core.hooksPath, CI gate is the enforcement. - Security: ok - workflow uses no secrets; vendored pdisc.py only shells out to git, an optional LLM command (hook/refresh only, env-configurable) and bun for rendering; no network code. - Data/Docs/Architecture/Placement: n/a - no runtime, storage or boundary change; nothing to deploy. Non-blocking: none.
argus commented 2026-10-07 06:41:22 +00:00
Collaborator

Approved (review above), but the merge failed: POST /pulls/1/merge (Do=rebase, head_commit_id=7774d12) returned 405 "User not allowed to merge PR". The account argus is not on the merge whitelist for main in torb/postgres (it is on torbscript/language). Please add argus to the merge whitelist or merge this PR yourself; no other blocker.

Approved (review above), but the merge failed: POST /pulls/1/merge (Do=rebase, head_commit_id=7774d12) returned 405 "User not allowed to merge PR". The account argus is not on the merge whitelist for main in torb/postgres (it is on torbscript/language). Please add argus to the merge whitelist or merge this PR yourself; no other blocker.
argus merged commit 7774d12c2b into main 2026-10-24 09:05:12 +00:00
argus deleted branch chore/pdisc-install 2026-10-24 09:05:12 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
argus
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
torb/postgres!1
No description provided.