Use git bare-clone
when cloning the repo
This commit is contained in:
parent
a57d60e1b4
commit
a1f4782b63
|
@ -44,7 +44,7 @@
|
||||||
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"
|
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"
|
||||||
pushd "''${user_path}"
|
pushd "''${user_path}"
|
||||||
|
|
||||||
${pkgs.git}/bin/git clone "''${repo_url}" "''${repo_name}"
|
${pkgs.git}/bin/git bare-clone "''${repo_url}" "''${repo_name}"
|
||||||
|
|
||||||
popd
|
popd
|
||||||
t "''${user_repo_path}"
|
t "''${user_repo_path}"
|
||||||
|
|
Loading…
Reference in a new issue