docs: Add clarification on handling push errors in AGENTS.md

2025-06-04 20:17:05 -06:00 · 2025-06-04 20:17:05 -06:00 · a30d21c33d
commit a30d21c33d
parent 61ed412745
1 changed files with 1 additions and 0 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@ -8,3 +8,4 @@
 - You are using python 3.11.
 - All pip dependencies are installed in the environment. (Except packages related to locally running AI, due to their large size.)
 - You have the ability to directly push to the git repo over https (url already set). And you should when you finish your task and have tested it.
+- If you encounter errors when pushing just leave it to the user to fix them.