From bf2ca4d56f3a9b5bd369d757f8fc63598274e53a Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Tue, 3 Jan 2023 17:52:31 -0800
Subject: ref: delete terraform configuration for GitHub

I'm not using GitHub for my repositories, and I don't need to maintain
this configuration either.
---
 ops/github/default.nix | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 ops/github/default.nix

(limited to 'ops/github/default.nix')

diff --git a/ops/github/default.nix b/ops/github/default.nix
deleted file mode 100644
index a36aa12..0000000
--- a/ops/github/default.nix
+++ /dev/null
@@ -1,29 +0,0 @@
-{ pkgs }:
-let
-  terraform = pkgs.terraform.withPlugins (p: [
-    p.google
-    p.github
-  ]);
-in
-pkgs.stdenv.mkDerivation rec {
-  name = "tf-github";
-  src = ./.;
-
-  init = pkgs.writeShellScriptBin "tf-github-init" ''
-    set -ueo pipefail
-    cd $(git rev-parse --show-toplevel)/ops/github
-    ${terraform}/bin/terraform init
-  '';
-
-  plan = pkgs.writeShellScriptBin "tf-github-plan" ''
-    set -ueo pipefail
-    cd $(git rev-parse --show-toplevel)/ops/github
-    ${terraform}/bin/terraform plan
-  '';
-
-  apply = pkgs.writeShellScriptBin "tf-github-apply" ''
-    set -ueo pipefail
-    cd $(git rev-parse --show-toplevel)/ops/github
-    ${terraform}/bin/terraform apply
-  '';
-}
-- 
cgit v1.2.3