docs(prs): PR-doc auf Nummer 3 — 1 und 2 gehören der GitHub-Historie
Deploy to GitHub Pages / build (push) Canceled after 0s
Deploy to GitHub Pages / deploy (push) Canceled after 0s

Gitea begann nach dem Umzug wieder bei 1, Werkbaums Historie kennt aber
schon GitHub-PR #1 und #2. Beide Nummern sind in Gitea abgebrannt; die
Zählung setzt bei 3 auf, damit eine Nummer in docs/prs/ eindeutig bleibt.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
mhoennig
2026-09-03 19:26:31 +02:00
co-authored by Claude Opus 5
parent 5ec5118cee
commit c87cf6212d
2 changed files with 6 additions and 3 deletions
+3
View File
@@ -7,6 +7,9 @@ Jeder Pull Request bekommt hier **eine** Datei.
`JJJJ-MM-TT-PR#<nummer>-kurze-beschreibung.md`
Die Nummer ist die des Gitea-PR auf <https://git.javagil.de/mi/werkbaum>.
Gitea begann nach dem Umzug (D95) wieder bei 1, während die Historie schon
GitHub-PR #1 und #2 kennt; die Nummern 1 und 2 sind deshalb abgebrannt und die
Zählung setzt bei **#3** auf.
Steht sie noch nicht fest, gilt `PR#000` als Platzhalter — im Dateinamen wie in
den Szenario-IDs — und wird nachgezogen, sobald der PR offen ist.