docs(agents): require pushr for resilient pushes

This commit is contained in:
Meik
2026-03-05 16:28:10 +01:00
parent ea3724c714
commit 78dcb19aa1
2 changed files with 2 additions and 0 deletions

View File

@@ -8,3 +8,4 @@
4. Relevante Änderungen sind immer tageweise in `Changelog.md` zu dokumentieren.
5. Korrekturschleifen oder reine Nachbesserungen dürfen nicht als eigene Changelog-Einträge auftauchen.
6. `Releasenotes.md` ist vor Veröffentlichung oder auf explizite Anforderung aus dem `Changelog.md` zu synchronisieren.
7. Für Pushes ist standardmäßig `git pushr` (Retry/Backoff) zu verwenden; falls nicht verfügbar, ist `git push` mit manuellen Wiederholungen durchzuführen.