From d2f402489643e3a23f4a6422d67238ed84f0b635 Mon Sep 17 00:00:00 2001 From: Meik Date: Tue, 10 Mar 2026 08:56:48 +0100 Subject: [PATCH] docs: add git push retry rule --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index 9aef298..ceffc90 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -26,6 +26,7 @@ History is minimal (`initial`), so prefer concise, imperative commit subjects an - If the working tree is not clean before starting a code change request, stop and clarify with the requester before proceeding. - After completing a requested code change, always create a Git commit with a concise, fitting, imperative message. - After completing a requested code change, always push the new commit immediately to the configured remote branch. +- If a `git push` fails, retry the push up to 5 times with a short delay between attempts before reporting the failure. - Use Windows line endings (`CRLF`) for all text files in this repository. - Every newly created or modified text file must be written back with Windows line endings (`CRLF`).