docs: Add note about pushing changes to the git repository in AGENTS.md

This commit is contained in:
Slipstream 2025-06-04 20:04:43 -06:00
parent 52aea1d3fd
commit e336d5dde9
Signed by: slipstream
GPG Key ID: 13E498CE010AC6FD

View File

@ -7,3 +7,4 @@
- For testing you can use `pylint` and `python -m py_compile`. - For testing you can use `pylint` and `python -m py_compile`.
- You are using python 3.11. - You are using python 3.11.
- All pip dependencies are installed in the environment. (Except torch, due to its size.) - All pip dependencies are installed in the environment. (Except torch, due to its 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.