diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index bc8b1749d03ac77af31e72342e95197709a61dde..f033fe988dd9a4069545df51ab9255ed419c9a5c 100755 --- a/ci-tools/update-nixpkgs +++ b/ci-tools/update-nixpkgs @@ -38,7 +38,7 @@ TARGET_BRANCH="nixpkgs-upgrade-$(date +%Y-%m-%d)" echo '{}' > morph/grid/local/public-keys/users.nix # nix-build -A morph -o result-before -git branch -d "${TARGET_BRANCH}" || true +git branch -D "${TARGET_BRANCH}" || true git checkout -b "${TARGET_BRANCH}" # Spawn *another* nix-shell that has the *other* update-nixpkgs tool. Should