mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-07 21:27:06 +00:00
c2220ca4d5
We missed this when we renamed `push-branch-prefix` to `push-bookmark-prefix`. I changed the description slightly to try to clarify that it's about the local bookmark that's created before pushing it to the remote as a branch. |
||
---|---|---|
.. | ||
commands | ||
config | ||
merge_tools | ||
cleanup_guard.rs | ||
cli_util.rs | ||
command_error.rs | ||
commit_templater.rs | ||
config-schema.json | ||
config.rs | ||
description_util.rs | ||
diff_util.rs | ||
formatter.rs | ||
generic_templater.rs | ||
git_util.rs | ||
graphlog.rs | ||
lib.rs | ||
main.rs | ||
movement_util.rs | ||
operation_templater.rs | ||
progress.rs | ||
revset_util.rs | ||
template.pest | ||
template_builder.rs | ||
template_parser.rs | ||
templater.rs | ||
text_util.rs | ||
time_util.rs | ||
ui.rs |