Add agents file

This commit is contained in:
Armin Ronacher
2025-12-30 00:02:36 +01:00
parent e1606f1ef2
commit 693c7f170a
2 changed files with 24 additions and 0 deletions
+23
View File
@@ -0,0 +1,23 @@
# Development Rules
## First Message
If the user did not give you a concrete task in their first message, read README.md
## Commands
- NEVER commit unless user asks
## GitHub Issues
- We're dogfooding hard here, so always read them locally (unless you need comments)
go run ./cmd/gh-issue-sync pull
cat .issues/open/NUMBER-*.md
## Tools
- Use our own github issue sync (go run ./cmd/gh-issue-sync) for most operations
- GitHub CLI for issue comments/PRs
- TUI interaction: use tmux
## Style
- Keep answers short and concise
- No emojis in commits, issues, PR comments, or code
- No fluff or cheerful filler text
+1
View File
@@ -0,0 +1 @@
@AGENTS.md