ticket: remove tickets shell shim
This commit is contained in:
@@ -68,12 +68,12 @@ Key docs:
|
||||
|
||||
## 5. Development
|
||||
|
||||
This repository dogfoods Yoi to develop Yoi. Work is tracked through `.yoi/tickets/` and `./tickets.sh`; git history plus Ticket files are the authoritative project record.
|
||||
This repository dogfoods Yoi to develop Yoi. Work is tracked through `.yoi/tickets/` and `yoi ticket ...`; git history plus Ticket files are the authoritative project record.
|
||||
|
||||
Common checks:
|
||||
|
||||
```sh
|
||||
./tickets.sh doctor
|
||||
yoi ticket doctor
|
||||
git diff --check
|
||||
cargo fmt --check
|
||||
cargo check --workspace --all-targets
|
||||
|
||||
Reference in New Issue
Block a user