WIP: Platzhalter für PR-Nummer 2 #2

Draft
mi wants to merge 1 commits from mi/dummy2 AGit into main
Owner

Werkbaums Historie kennt GitHub-PR #1 und #2; Gitea begann neu bei 1.
Damit die Nummern in docs/prs/ eindeutig bleiben, wird 2 abgebrannt und
die echte Arbeit zaehlt ab 3 weiter.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com

Werkbaums Historie kennt GitHub-PR #1 und #2; Gitea begann neu bei 1. Damit die Nummern in docs/prs/ eindeutig bleiben, wird 2 abgebrannt und die echte Arbeit zaehlt ab 3 weiter. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
mi added 1 commit 2026-09-03 19:26:19 +02:00
Werkbaums Historie kennt GitHub-PR #1 und #2; Gitea begann neu bei 1.
Damit die Nummern in docs/prs/ eindeutig bleiben, wird 2 abgebrannt und
die echte Arbeit zaehlt ab 3 weiter.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
The changes on this branch are already on the target branch. This will be an empty commit.
You are not authorized to merge this pull request.
This pull request can be merged automatically.
This branch is out-of-date with the base branch
This pull request is marked as a work in progress.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin refs/pull/2/head:mi/dummy2
git checkout mi/dummy2
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#2