docs(prs): PR-doc auf Nummer 3 — 1 und 2 gehören der GitHub-Historie #3

Open
mi wants to merge 0 commits from mi/pr-doc-nummer AGit into main
Owner

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

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>
mi added 1 commit 2026-09-03 19:26:32 +02:00
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
c87cf6212d
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>
Some required checks failed
Deploy to GitHub Pages / build (push) Canceled after 0s
Deploy to GitHub Pages / deploy (push) Canceled after 0s
This branch is already included in the target branch. There is nothing to merge.
This branch is out-of-date with the base branch
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin refs/pull/3/head:mi/pr-doc-nummer
git checkout mi/pr-doc-nummer
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: mi/werkbaum#3