From b1cb79e68efe01b20ef8eb383c0a3cbd3b11571d Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Thu, 14 Jul 2022 18:37:39 -0400
Subject: [PATCH] seems like it really is not there on ci

---
 ci-tools/update-nixpkgs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs
index 77d8e3bf..f4d9c40d 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
-- 
GitLab