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/zsh/gerrit.zsh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 home/shell/zsh/gerrit.zsh

(limited to 'home/shell/zsh/gerrit.zsh')

diff --git a/home/shell/zsh/gerrit.zsh b/home/shell/zsh/gerrit.zsh
deleted file mode 100644
index 9766b2f..0000000
--- a/home/shell/zsh/gerrit.zsh
+++ /dev/null
@@ -1,5 +0,0 @@
-function rgerrit() {
-  # gerrit runs on tahoe, and we ssh to it through its tailscale
-  # network interface.
-  ssh $(tailscale status --json | jq -r '.Peer | map(select(.HostName == "tahoe"))[0].TailscaleIPs[0]') -p 29418 gerrit $@
-}
-- 
cgit v1.2.3