From 4753e2f28662ffd922d0729cf0996f3a0e7f0dfa Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Mon, 17 Jan 2022 17:21:40 +0300 Subject: chore(wpcarro/*): Remove some dead code 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 Reviewed-by: wpcarro --- users/wpcarro/ci/pipelines/post-receive.nix | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'users/wpcarro/ci') 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"; -- cgit 1.4.1