better dev command

This commit is contained in:
2026-09-25 19:04:01 -07:00
parent 75fc14f4ac
commit ebc0543535
2 changed files with 11 additions and 6 deletions
+3 -3
View File
@@ -2,14 +2,14 @@
## Dev helper (`bin/dev`)
`bin/dev` (on PATH via direnv as `dev`) wraps common project tasks. Run `dev bash-completions` to list commands.
`bin/dev` wraps common project tasks. Run `bin/dev bash-completions` to list commands.
### Creating issues
Use `dev issue` to create Gitea issues instead of calling the API or `tea` directly:
Use `bin/dev issue` to create Gitea issues instead of calling the API or `tea` directly:
```
dev issue "<title>" [-b "<body>"] [-l <label>]... [-a <user>]... [--open]
bin/dev issue "<title>" [-b "<body>"] [-l <label>]... [-a <user>]... [--open]
```
- Labels are repo label names (`bug`, `enhancement`, `question`, ...).