diff options
| author | tv <tv@krebsco.de> | 2018-11-13 22:52:44 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-11-13 23:17:44 +0100 |
| commit | ce37b2a9c2a438b7278e8e8ab045df34f00ad386 (patch) | |
| tree | 03675d20a1ecfe30ce1736dba05bee0fe9bebb0a | |
| parent | 170c46d53c83c9bf277b7b6dba7e86c052eae257 (diff) | |
populate git: reset --hard
| -rw-r--r-- | pkgs/populate/default.nix | 3 |
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 |