simply do not pull

See EndBug/add-and-commit#453 for an explanation.
dfinity · Nov 11, 2022 · 5a1a925 · 5a1a925
1 parent 0288dfe
commit 5a1a925
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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"