From 2001cd3dbb795089fdb6cea220eb080085ac34f5 Mon Sep 17 00:00:00 2001 From: Slipstream Date: Sat, 7 Jun 2025 21:16:29 -0600 Subject: [PATCH] Add note about required argument for 'tea' CLI in AGENTS.md --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index ea89685..5802a3e 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -8,6 +8,7 @@ - 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). - **When you’ve finished and tested your task, create a fresh `pr/` branch from your work branch, push *that* to the remote, and open a pull request on Gitea using the `tea` CLI. Never push your work branch or `master` directly.** +- The `tea` cli will likely require the argument `--repo slipstream/discordbot` - If you hit hard-to-fix errors while pushing or during the PR, leave them for the user to handle after you’ve made reasonable attempts (e.g., resolving merge conflicts or fetching missing remote work). - There are no nested `AGENTS.md` files; this is the only one in the project. - You have a Python script `tavilytool.py` in the project root that you can use to search the web.