From d9b364442e2246a734d600b2a4e6475dcd48319b Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Thu, 17 Feb 2022 22:20:14 -0800 Subject: [PATCH] cleanup: update references to `.jj/store/git` to `.jj/repo/store/git` The `store/` directory (and many others) recently moved into `.jj/repo/`, but I forgot to update a few places. --- demos/demo_git_compat.sh | 2 +- docs/git-compatibility.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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