diff --git a/demos/demo_git_compat.sh b/demos/demo_git_compat.sh index 2cd315d7a..00923dabd 100755 --- a/demos/demo_git_compat.sh +++ b/demos/demo_git_compat.sh @@ -17,5 +17,5 @@ pause 5 run_command "jj diff -r b1" pause 2 run_command "# The repo is backed by the actual Git repo:" -run_command "git --git-dir=.jj/store/git log --graph --all --decorate --oneline" +run_command "git --git-dir=.jj/repo/store/git log --graph --all --decorate --oneline" ' diff --git a/docs/git-compatibility.md b/docs/git-compatibility.md index cc7a2eb32..c5c093a27 100644 --- a/docs/git-compatibility.md +++ b/docs/git-compatibility.md @@ -13,7 +13,7 @@ for more verbose help). To create an empty repo using the Git backend, use `jj init --git `. Since the command creates a Jujutsu repo, it will have a `.jj/` directory. The underlying Git repo will be inside of that directory (currently in -`.jj/store/git/`). +`.jj/repo/store/git/`). ## Creating a repo backed by an existing Git repo