werkrevisor/docs/prs/2026-10-12-PR#96-ops-doc-werkbaum.md

PR#96: The operations document names werkbaum

WARNING: This document describes only the change applied in this PR. It may already be outdated once the next PR is merged. Historic PR documentation is not maintained along with new PRs; treat it as a snapshot.

Problem

werkrevisor reviews werkbaum since PR#83, but docs/betrieb-git.javagil.de.md names only five repositories. The deployment of 0.38.1 therefore missed werkbaum at first; it ran 0.38.0 until a second deployment.

Non-Goals

• No change of code or configuration.

Specification

None; the PR changes only the documentation and the version.

Solution

The operations document names six repositories, werkbaum among them, and the current version 0.38.2.

Open Questions

None.

Additional Changes

None.

Prerequisite PRs

None.

Follow-up PRs

None.