From a89695c4c56f05451bfcd94400d99865f8de6366 Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Tue, 24 Oct 2023 18:34:30 +0300
Subject: [PATCH] chore(tvix): move buildkite.yml from views/tvix to tvix/

This should remove the ambiguity on where buildkite.yml should show up
at least. We might still want to move workspace.josh into tvix/ too at
some point, but that's blocked on
https://github.com/josh-project/josh/issues/1287

This commit doesn't cause any change in views/tvix, with a previous
version of this commit added to my HEAD, I ran josh-filter to verify it
still points to ce0df88561fee8a4d6052ca9f2a1792f899a202a.

Change-Id: Ic03e92260dc7725bc2fcf01b7c72a097d92c028e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9828
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
---
 {views/tvix => tvix}/buildkite.yml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {views/tvix => tvix}/buildkite.yml (100%)

diff --git a/views/tvix/buildkite.yml b/tvix/buildkite.yml
similarity index 100%
rename from views/tvix/buildkite.yml
rename to tvix/buildkite.yml