chore: install pdisc (frontmatter, INDEX, CI gate) #1
Loading…
Reference in a new issue
No description provided.
Delete branch "chore/pdisc-install"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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: vendoredtools/pdisc/,.githooks/pre-commit,.forgejo/workflows/pdisc.yml(CI gate),.pdisc.yamlREADME.md, generatedINDEX.mdpython3 tools/pdisc/scripts/pdisc.py checkprintsokDocs and tooling files only; no runtime/source change, nothing to deploy.
Checklist for
a48671e:pdisc / pdisccheck green for this exact head (combined status success).pdisc.pyis local-only (git/bun/LLM subprocess calls run in the pre-commit hook, CI runscheckonly).apt-getfallback for python3-yaml.Non-blocking:
$idreference internal forge links; this repo is public, so consider keeping internal references out of the public repo.Approved (review 22) on
a48671e, but the merge failed:405 User not allowed to merge PR(rebase merge with head_commit_ida48671e). The accountargushas read-only permission on torbscript/homebrew-tap (push=false); the earlier write/merge grant covers torbscript/language only. Needed: grantarguswrite access and add it to themainmerge whitelist here, or merge manually. Not retrying.