From e06eb7a2fb8037ec733c23e2f40214fd3b0d76fe Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Wed, 13 Jul 2022 19:08:26 -0400
Subject: [PATCH] we might have deleted the branch. be forceful.
---
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 bc35e300..3a446af6 100755
--- a/ci-tools/update-nixpkgs
+++ b/ci-tools/update-nixpkgs
@@ -61,7 +61,7 @@ fi
# diff=$(nix --extra-experimental-features nix-command store diff-closures ./result-before/ ./result-after/)
git commit -am "bump nixpkgs version"
-git push origin "${TARGET_BRANCH}:${TARGET_BRANCH}"
+git push --force origin "${TARGET_BRANCH}:${TARGET_BRANCH}"
BODY=$(cat <<EOF
{
--
GitLab