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
..
technical
branches.md
code-of-conduct.md
config.md	jj log: option to specify preferred id length	2023-02-05 21:18:42 -08:00
config.toml
conflicts.md
contributing.md
git-comparison.md
git-compatibility.md
github.md	style: fix typos found by codespell	2023-01-28 07:23:45 -08:00
operation-log.md
related-work.md
revsets.md	style: fix typos found by codespell	2023-01-28 07:23:45 -08:00
tutorial.md	style: fix typos found by codespell	2023-01-28 07:23:45 -08:00
working-copy.md