Ilya Grigoriev 74d9970908 config: Rename push.branch-prefix option to git.push-branch-prefix ... This is for consistency with other `git.` options. See also https://github.com/martinvonz/jj/pull/1962#discussion_r1282605185		2023-08-07 19:10:10 -07:00
..
design
technical	cargo: rename crates from jujutsu/jujutsu-lib to jj-cli/jj-lib	2023-07-09 06:40:43 +02:00
branches.md
code-of-conduct.md
config.md	config: Rename push.branch-prefix option to git.push-branch-prefix	2023-08-07 19:10:10 -07:00
config.toml
conflicts.md
contributing.md	docs: fix contributing.md	2023-07-17 19:22:51 -05:00
git-comparison.md	docs: call out manual branch management	2023-08-03 11:28:00 -07:00
git-compatibility.md
github.md	docs: revert to using revset operator : instead of ::	2023-08-01 21:58:43 +00:00
glossary.md
operation-log.md
related-work.md	docs: add doc comparing jj to Sapling (#1708)	2023-06-28 06:56:57 +02:00
revsets.md	docs: revert to using revset operator : instead of ::	2023-08-01 21:58:43 +00:00
sapling-comparison.md	docs: add doc comparing jj to Sapling (#1708)	2023-06-28 06:56:57 +02:00
templates.md
tutorial.md	docs: revert to using revset operator : instead of ::	2023-08-01 21:58:43 +00:00
working-copy.md