From e8fd2aabb3b900b20253df717b8a0533b7bfcb83 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Thu, 30 Mar 2023 16:05:11 +0200 Subject: fix(tools/releases): add :unsign to filteredGitPush 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 Autosubmit: flokli --- tools/releases/default.nix | 4 ++-- 1 file 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}' -- cgit 1.4.1