chore(tvix/tools): move turbofetch to //users/edef r/8799

This was introduced in cl/9925 without any commit message, but this is clearly
not relevant to Tvix itself (it even says so in a comment in Cargo.toml).

Change-Id: I84f12d5145c3f53c9df23863f887bad913856c50
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12604
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: edef <edef@edef.eu>

1 files changed, 5 insertions, 0 deletions

diff --git a/users/edef/turbofetch/deploy.sh b/users/edef/turbofetch/deploy.sh
new file mode 100755
index 000000000000..65564ce2ed7f
--- /dev/null
+++ b/users/edef/turbofetch/deploy.sh
@@ -0,0 +1,5 @@
+#! /usr/bin/env nix-shell
+#! nix-shell -i "bash -e"
+#! nix-shell -p cargo-lambda
+cargo lambda build --release
+cargo lambda deploy