aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-11-13 22:52:44 +0100
committertv <tv@krebsco.de>2018-11-13 23:17:44 +0100
commitce37b2a9c2a438b7278e8e8ab045df34f00ad386 (patch)
tree03675d20a1ecfe30ce1736dba05bee0fe9bebb0a
parent170c46d53c83c9bf277b7b6dba7e86c052eae257 (diff)
populate git: reset --hardv1.7.1
-rw-r--r--pkgs/populate/default.nix3
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/populate/default.nix b/pkgs/populate/default.nix
index d5ff9a1..b8b8107 100644
--- a/pkgs/populate/default.nix
+++ b/pkgs/populate/default.nix
@@ -40,8 +40,7 @@ let
if ! git log -1 "$hash" >/dev/null 2>&1; then
git fetch origin
fi
- git checkout "$hash" -- ${quote target.path}
- git -c advice.detachedHead=false checkout -f "$hash"
+ git reset --hard "$hash" >&2
git submodule update --init --recursive
fi