chore(tvix): mirror exported repository

Pushes a mirror of tvix to github/tvlfyi/tvix

Change-Id: I86e7c1b1dc1fcc1012fa72234588b26ac2554056
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8007
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
This commit is contained in:
Vincent Ambo 2023-02-01 20:13:12 +03:00 committed by clbot
parent 88d86741dc
commit 87de3fff52

View file

@ -59,4 +59,10 @@ in
};
meta.ci.targets = [ "shell" ];
meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush {
filter = ":workspace=views/tvix";
remote = "git@github.com:tvlfyi/tvix.git";
ref = "refs/heads/canon";
};
}