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 <sternenseemann@systemli.org>
Autosubmit: flokli <flokli@flokli.de>
This commit is contained in:
Florian Klink 2023-03-30 16:05:11 +02:00 committed by clbot
parent 5f2c2e79e1
commit e8fd2aabb3

View file

@ -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}'