Remove crit as an option from the CLI entirely#7169
Merged
mergify[bot] merged 1 commit intosigp:unstablefrom Mar 27, 2025
Merged
Remove `crit` as an option from the CLI entirely#7169mergify[bot] merged 1 commit intosigp:unstablefrom
mergify[bot] merged 1 commit intosigp:unstablefrom
Commits
Commits on Mar 19, 2025
- committed
