From e336d5dde97c0d2af78e3d71b99aa6c08eb30a9c Mon Sep 17 00:00:00 2001 From: Slipstream Date: Wed, 4 Jun 2025 20:04:43 -0600 Subject: [PATCH] docs: Add note about pushing changes to the git repository in AGENTS.md --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index 8853c17..38257f1 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -7,3 +7,4 @@ - For testing you can use `pylint` and `python -m py_compile`. - You are using python 3.11. - 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.