populate git: reset --hard

2018-11-13 22:52:44 +01:00 · 2018-11-13 22:52:44 +01:00 · ce37b2a9c2
parent 170c46d53c
commit ce37b2a9c2
1 changed files with 1 additions and 2 deletions
--- 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