git: fix git mv sandboxing

This commit is contained in:
2024-11-04 12:58:39 +00:00
parent 58611f236d
commit 0d6c7d9f64

View File

@@ -20,7 +20,7 @@ in
});
sandbox.net = "clearnet";
sandbox.whitelistPwd = true;
sandbox.autodetectCliPaths = true; # necessary for git-upload-pack
sandbox.autodetectCliPaths = "parent"; # autodetection is necessary for git-upload-pack; "parent" so that `git mv` works
sandbox.extraHomePaths = [
# even with `whitelistPwd`, git has to crawl *up* the path -- which isn't necessarily in the sandbox -- to locate parent .git files
"dev"