Git-Identitaet: E-Mail muss die des Gitea-Kontos sein

Gitea ordnet Commits ueber die E-Mail-Adresse dem Benutzerkonto zu. Passt
sie nicht, erscheinen Commits ohne Zuordnung, und nachtraeglich laesst sich
das nur durch Umschreiben der Historie korrigieren.

- 04_werkzeuge_einrichten.md: Einrichtung mit Begruendung, Hinweis auf
  --local fuer privat mitgenutzte Rechner, Punkt in der Pruefliste.
- 08_repo_einrichten.md: Pruefschritt vor dem Push praezisiert.
- fallstricke.md: Eintrag unter Umgebung und Werkzeuge.

docs/konzept/08_repo_einrichten.md

@@ -38,12 +38,11 @@ Wir beginnen bewusst auf `unstable`, damit auch dieses Repository dem Kanal-Mode
 
 **Vor dem Push prüfen:**
 
-- [ ] **Autor des Commits stimmt.** `git log -1 --format='%an <%ae>'` – der vorbereitete Commit trägt die
-      Identität, die auf dem vorbereitenden Rechner in `git config --global` eingetragen war. Ist das nicht die
-      dienstliche Adresse, vor dem Push korrigieren:
+- [ ] **Autor des Commits stimmt.** `git log -1 --format='%an <%ae>'` – erwartet wird die Adresse des
+      Gitea-Kontos, weil Gitea Commits darüber dem Benutzer zuordnet. Stimmt sie nicht, vor dem Push korrigieren:
       ```bash
-      git config user.name "Vorname Nachname"
-      git config user.email "dienstliche@adresse"
+      git config user.name  "Vorname Nachname"
+      git config user.email "vorname.nachname@lfulg.sachsen.de"
       git commit --amend --reset-author --no-edit
       ```
 - [ ] `git status` zeigt keine Plugin-Ordner (`Plugin_SN_*`, `Repository`, `Linkliste`, `Defaults`)