From 87de3fff52baa927699fbc3a473302c169fec69d Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Wed, 1 Feb 2023 20:13:12 +0300
Subject: 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
---
 tvix/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'tvix')

diff --git a/tvix/default.nix b/tvix/default.nix
index f0da4d05b335..d99bbe7ebe18 100644
--- a/tvix/default.nix
+++ b/tvix/default.nix
@@ -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";
+  };
 }
-- 
cgit 1.4.1