From 382be623b8c4898f49b05d14e4f90047f3f32f91 Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Sat, 5 Mar 2022 09:47:08 -0800 Subject: [PATCH] docs: correct a mention about getting long vs. short help I haven't checked, but I think `jj help git push` used to give the short form with `clap` 2. With `clap` 3, it's definitely the long form anyway. --- docs/git-compatibility.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/git-compatibility.md b/docs/git-compatibility.md index c5c093a27..5eb7a5223 100644 --- a/docs/git-compatibility.md +++ b/docs/git-compatibility.md @@ -5,8 +5,8 @@ repo, which means that you can collaborate with Git users without them even knowing that you're not using the `git` CLI. See `jj help git` for help about the `jj git` family of commands, and e.g. -`jj help git push` for help about a specific command (use `jj git push --help` -for more verbose help). +`jj help git push` for help about a specific command (use `jj git push -h` for +briefer help). ## Creating an empty repo