From bc3fc5252092d5af6244dff77bbb9efcaa3d2e5c Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Wed, 13 Jul 2022 17:30:38 -0400
Subject: [PATCH] try making the change

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

diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs
index 3f1c573c..ee452e30 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
-- 
GitLab