From c6922efc1851604dd4ca09d0699e7d06f028ded8 Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Sat, 29 Oct 2022 13:19:56 -0700
Subject: fix(home): remove various shell functions related to gerrit

I'm not using gerrit anymore.
---
 home/shell/fish/functions/rgerrit.fish | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 home/shell/fish/functions/rgerrit.fish

(limited to 'home/shell/fish/functions')

diff --git a/home/shell/fish/functions/rgerrit.fish b/home/shell/fish/functions/rgerrit.fish
deleted file mode 100644
index 3aed310..0000000
--- a/home/shell/fish/functions/rgerrit.fish
+++ /dev/null
@@ -1,6 +0,0 @@
-# gerrit runs on tahoe, and we ssh to it through its tailscale
-# network interface.
-function rgerrit --description "execute gerrit commands"
-  set -lx gerrit_host (tailscale status --json | jq -r '.Peer | map(select(.HostName == "tahoe"))[0].TailscaleIPs[0]')
-  ssh $gerrit_host -p 29418 gerrit $argv
-end
-- 
cgit 1.4.1