From ce37b2a9c2a438b7278e8e8ab045df34f00ad386 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 13 Nov 2018 22:52:44 +0100
Subject: populate git: reset --hard

---
 pkgs/populate/default.nix | 3 +--
 1 file changed, 1 insertion(+), 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
 
-- 
cgit v1.2.3