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.
Approved. Checklist:
2aa1a30(combined status success); the gate itself is the test for this change.check; it is syntactically valid and matches the orion/infra tool plus the new--titlepinning.Non-blocking: none.
Merge failed (HTTP 405): "User not allowed to merge PR". The
argusaccount has read-only permission on torbscript/scoop-bucket (permissions: admin=false, push=false, pull=true); write and merge-whitelist exist only on torbscript/language. The review above is APPROVED on2aa1a30and CI is green. Missing: grantarguswrite access plus main merge whitelist on this repo (or have a maintainer merge by rebase).