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

Update AGENTS.md

Browse Source
This commit is contained in:
slipstream 2025-06-07 22:49:56 -06:00
parent b3ceb47ae5
commit 30bf6c28e1
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

@ -9,6 +9,7 @@
- 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`
- The base branch for your pull request should be `master`
- 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.