about summary refs log tree commit diff
path: root/tools/releases/default.nix
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2023-03-30T14·05+0200
committerclbot <clbot@tvl.fyi>2023-03-30T14·28+0000
commite8fd2aabb3b900b20253df717b8a0533b7bfcb83 (patch)
tree4b80d5d2a863b3a8073ebafbe444ae9c84a8f1bd /tools/releases/default.nix
parent5f2c2e79e1778cda877d6122dd24be08740c8720 (diff)
fix(tools/releases): add :unsign to filteredGitPush r/6061
We need to followup on cl/8186, and use the same workaround for josh-
filter that we use for josh-proxy, so we can push again.

This could potentially become an optional function argument, if new
subtrees are to be carved out, and we want to keep signatures on commits
in there.

Change-Id: I7a9b821a7365767e8a4188e8200fa3c37463142c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8368
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tools/releases/default.nix')
-rw-r--r--tools/releases/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/releases/default.nix b/tools/releases/default.nix
index d38ca0b5d8be..aedf396aeef1 100644
--- a/tools/releases/default.nix
+++ b/tools/releases/default.nix
@@ -19,8 +19,8 @@ in
       set -e
       export PATH="${makeBinPath [ pkgs.git depot.third_party.josh ]}:$PATH"
 
-      echo 'Filtering depot through ${filter}'
-      josh-filter '${filter}'
+      echo 'Filtering depot through :unsign ${filter}'
+      josh-filter ':unsign ${filter}'
 
       echo 'Fetching remote to check if a push is needed'
       git fetch '${remote}' '${ref}'