dhi: add repo mgmt info #24106

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

craig-osterhout merged 2 commits into docker:main from craig-osterhout:engdocs-3185

Feb 10, 2026

+16 −3

Merged

dhi: add repo mgmt info #24106

agent feedback1

Netlify / Pages changed - docsdocker completed Feb 9, 2026 in 59s

71 new files uploaded

2 generated pages and 69 assets changed.

Details

Changed pages include:

dhi/how-to/manage/index.html - view
dhi/how-to/mirror/index.html - view

View more details on Netlify