slipstream/discordbot
slipstream/discordbot
1
1
Fork 0
Code Issues Pull Requests 3 Actions Packages Projects Releases Wiki Activity

Add note about required argument for 'tea' CLI in AGENTS.md

Browse Source
This commit is contained in:
Slipstream 2025-06-07 21:16:29 -06:00
parent f866f6c47c
commit 2001cd3dbb
Signed by: slipstream
GPG Key ID: 13E498CE010AC6FD
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
AGENTS.md
View File

@ -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/<desc>` 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.