diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index 77d8e3bf4c6dd88950b622fed14cd2e1add95ae3..f4d9c40d0d088e48399d16f2a448990b79337092 100755 --- a/ci-tools/update-nixpkgs +++ b/ci-tools/update-nixpkgs @@ -41,6 +41,7 @@ export SOURCE_BRANCH="nixpkgs-upgrade-$(date +%Y-%m-%d)" git clone . working-copy cd working-copy git branch -D "${SOURCE_BRANCH}" || true +git fetch origin develop git checkout -B "${SOURCE_BRANCH}" origin/develop echo '{}' > morph/grid/local/public-keys/users.nix