mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-18 18:27:38 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

cleanup: update references to .jj/store/git to .jj/repo/store/git

Browse source 
The `store/` directory (and many others) recently moved into
`.jj/repo/`, but I forgot to update a few places.
This commit is contained in:
Martin von Zweigbergk 2022-02-17 22:20:14 -08:00
parent 7c247116b9
commit d9b364442e
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
demos/demo_git_compat.sh
View file

@ -17,5 +17,5 @@ pause 5
run_command "jj diff -r b1" run_command "jj diff -r b1"
pause 2 pause 2
run_command "# The repo is backed by the actual Git repo:" 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"
' '

2
docs/git-compatibility.md
View file

@ -13,7 +13,7 @@ for more verbose help).
To create an empty repo using the Git backend, use `jj init --git <name>`. Since To create an empty repo using the Git backend, use `jj init --git <name>`. Since
the command creates a Jujutsu repo, it will have a `.jj/` directory. The the command creates a Jujutsu repo, it will have a `.jj/` directory. The
underlying Git repo will be inside of that directory (currently in 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 ## Creating a repo backed by an existing Git repo