From 5a1a9250497c4aa499fb9003993d25eaa1439d5f Mon Sep 17 00:00:00 2001
From: Gabor Greif <gabor@dfinity.org>
Date: Fri, 11 Nov 2022 18:02:19 +0100
Subject: [PATCH] simply do not pull

See https://github.com/EndBug/add-and-commit/pull/453
for an explanation.
---
 .github/workflows/update-hash.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/update-hash.yml b/.github/workflows/update-hash.yml
index eb4782ff819..dafafa91e45 100644
--- a/.github/workflows/update-hash.yml
+++ b/.github/workflows/update-hash.yml
@@ -33,6 +33,3 @@ jobs:
         author_email: "<nobody@example.com>"
         github_token: ${{ secrets.HASH_UPDATE_TOKEN }}
         message: "Updating nix hashes"
-        # do not pull: if this branch is behind, then we might as well let
-        # the pushing fail
-        pull: "NO-PULL"