tvl-depot/views/default.nix
Florian Klink e9686f84d9 fix(views/kit): communicate :unsign in the tvl-kit URL directly
Instead of prepending :unsign to all URLs in josh-proxy, and for all
calls to filteredGitPush, explicitly use it only in the filter we use
for the `export-kit` extraStep.

This means, people cloning tvl-kit via

> https://code.tvl.fyi/depot.git:workspace=views/kit.git

now need to update the URL to point to

> https://code.tvl.fyi/depot.git:unsign:workspace=views/kit.git

instead.

git@github.com:tvlfyi/kit.git will keep the same hashes, as it's updated
to export the unsigned workspace view of it.

This is less invasive than dooming every josh workspace to have to strip
signatures.

Change-Id: I6de05182fad4c3695081388c3bbf37306521d255
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8369
Autosubmit: flokli <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
2023-03-31 08:46:01 +00:00

26 lines
640 B
Nix

# Export configuration for the views.
{ depot, pkgs, ... }:
let
export-tvix = depot.tools.releases.filteredGitPush {
filter = ":workspace=views/tvix";
remote = "git@github.com:tvlfyi/tvix.git";
ref = "refs/heads/canon";
};
export-kit = depot.tools.releases.filteredGitPush {
filter = ":unsign:workspace=views/kit";
remote = "git@github.com:tvlfyi/kit.git";
ref = "refs/heads/canon";
};
in
(pkgs.runCommandLocal "export-views" { }
''
echo "no-op carrier target for repo export steps" | tee $out
'').overrideAttrs
(_: {
meta.ci.extraSteps = {
inherit export-tvix export-kit;
};
})