Ilya Grigoriev 5fb17925eb jj log: option to specify preferred id length ... The new option is `ui.log-id-preferred-length`. Setting it to 6 is quite convenient for the `jj` repo, for example. Screenshot: https://user-images.githubusercontent.com/4123047/216535699-ad1e2ac8-73dd-44be-b28a-ebdebc00c63c.png		2023-02-05 21:18:42 -08:00
..
gen-protos
src	jj log: option to specify preferred id length	2023-02-05 21:18:42 -08:00
tests	view: also merge git_heads when merging views	2023-01-30 09:05:03 -08:00
testutils
build.rs
Cargo.toml	cargo: bump bytes from 1.3.0 to 1.4.0	2023-02-01 15:20:46 +00:00