Deploy repo for the gated operations manuals (dito + scribe) — built from deepnet/ditdocs
This repository has been archived on 2026-10-03. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
  • HTML 99.2%
  • CSS 0.7%
  • JavaScript 0.1%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
jsutter 8a110c9d60 deploy: ditc automated deploy
Assisted-by: ditc:machine
2026-09-22 00:31:50 -07:00
htdocs generated: ops-site regen after the WRITING-006 help rewrite 2026-09-22 00:30:09 -07:00
.gitignore ditdocs-ops: deploy repo skeleton (manifest, ingress, README) 2026-09-08 22:10:49 -07:00
ingress.yaml ditdocs-ops: deploy repo skeleton (manifest, ingress, README) 2026-09-08 22:10:49 -07:00
manifest.yaml generated: full manual build (17 dito + 7 scribe narrative, dito reference, search) — stable channel for the gated deploy 2026-09-09 02:54:26 -07:00
provenance.json deploy: ditc automated deploy 2026-09-22 00:31:50 -07:00
README.md ditdocs-ops: deploy repo skeleton (manifest, ingress, README) 2026-09-08 22:10:49 -07:00

ditdocs-ops — deploy repo for the gated manuals

This repo holds only what the platform deploys: manifest.yaml, ingress.yaml, and the generated htdocs/. Do not edit htdocs/ here.

Sources and tooling live in deepnet/ditdocs (src/dito/, src/scribe/, tools/build-docs.py); its build writes this repo's htdocs/ as the gated site (dito manual, scribe manual, dito reference, search over both sites). Regenerate there, then commit + tag + ditc app deploy here.

Auth: gated (DeepNet login via the tenant Authentik). The public companion is deepnet/ditdocs at ditdocs.apps.deepnet.com.