April 2, 2025
1 pull request merged across 1 repo
atuinsh/atuin
Checks
- I am happy for maintainers to push small adjustments to this PR, to speed up the review cycle
- I have checked that there are no existing pull requests for the same thing
1 pull request merged across 1 repo