diff options
author | Florian Klink <flokli@flokli.de> | 2023-03-30T14·05+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-03-30T14·28+0000 |
commit | e8fd2aabb3b900b20253df717b8a0533b7bfcb83 (patch) | |
tree | 4b80d5d2a863b3a8073ebafbe444ae9c84a8f1bd | |
parent | 5f2c2e79e1778cda877d6122dd24be08740c8720 (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 '')
-rw-r--r-- | tools/releases/default.nix | 4 |
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}' |