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 /tvix/eval/src | |
| 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 'tvix/eval/src')
0 files changed, 0 insertions, 0 deletions