39 lines
852 B
Markdown
39 lines
852 B
Markdown
# 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.
|