diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-06-29T21·14+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-06-29T21·24+0000 |
| commit | dc079778669968429b475c0e7ce020951fe769da (patch) | |
| tree | 6d466032054137e474280d6de666a89ea3dae045 /ops/infra/.skip-subtree | |
| parent | d3f9cb0ec398d25a3be01cbc7c9b1ee8716b877f (diff) | |
chore(ops): Clean up old GCP infrastructure files r/1130
This removes almost all of the GCP-infrastructure leftovers from my previous setup. The DNS configuration is retained, but moves to my user folder instead. Change-Id: I1867acd379443882f11a3c645846c9902eadd5b0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/782 Tested-by: BuildkiteCI Reviewed-by: eta <eta@theta.eu.org> Reviewed-by: isomer <isomer@tvl.fyi>
Diffstat (limited to 'ops/infra/.skip-subtree')
| -rw-r--r-- | ops/infra/.skip-subtree | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ops/infra/.skip-subtree b/ops/infra/.skip-subtree deleted file mode 100644 index cee24b75793c..000000000000 --- a/ops/infra/.skip-subtree +++ /dev/null @@ -1,2 +0,0 @@ -Code under //ops/infra is mostly configuration for other tools, not -Nix derivations to be built. |