diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index c42d4205e439f8aed71dfa6157819c3cf352a760..3f1c573c025c8faa9952755849d3388107f34ac0 100755 --- a/ci-tools/update-nixpkgs +++ b/ci-tools/update-nixpkgs @@ -44,6 +44,7 @@ git checkout "${TARGET_BRANCH}" || git checkout -b "${TARGET_BRANCH}" # sort out this mess sooner rather than later... nix-shell ./shell.nix --run 'update-nixpkgs --dry-run' +git fetch origin develop git branch -a # Show us what we did