# 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.