diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index 3f1c573c025c8faa9952755849d3388107f34ac0..ee452e30e1bfce7d5dee5a486f8d9704f45e0fbe 100755 --- a/ci-tools/update-nixpkgs +++ b/ci-tools/update-nixpkgs @@ -42,7 +42,7 @@ git checkout "${TARGET_BRANCH}" || git checkout -b "${TARGET_BRANCH}" # Spawn *another* nix-shell that has the *other* update-nixpkgs tool. Should # sort out this mess sooner rather than later... -nix-shell ./shell.nix --run 'update-nixpkgs --dry-run' +nix-shell ./shell.nix --run 'update-nixpkgs' git fetch origin develop git branch -a