chore(wpcarro/*): Remove some dead code r/3627

Found this while looking for non-3p uses of builtins.fetchGit. The
hailgun package is in the package set now, and the other thing was
unused (and it's also in the package set).

Change-Id: I6f519fd6014bbed90fc6cee695bed7afbcf55717
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4984
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: wpcarro <wpcarro@gmail.com>

1 files changed, 1 insertions, 6 deletions

diff --git a/users/wpcarro/ci/pipelines/post-receive.nix b/users/wpcarro/ci/pipelines/post-receive.nix
index 64401dee4ace..b69ee28af3e6 100644
--- a/users/wpcarro/ci/pipelines/post-receive.nix
+++ b/users/wpcarro/ci/pipelines/post-receive.nix
@@ -1,14 +1,9 @@
 { pkgs, depot, ... }:
 
 let
-  inherit (builtins) fetchGit path toJSON;
+  inherit (builtins) path toJSON;
   inherit (depot.users.wpcarro.emacs) initEl runScript;
 
-  elispLintSrc = fetchGit {
-    url = "https://github.com/gonewest818/elisp-lint";
-    rev = "2b645266be8010a6a49c6d0ebf6a3ad5bd290ff4";
-  };
-
   pipeline.steps = [
     {
       key = "lint-secrets";