docs: add git push retry rule

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`).