diff options
| author | Franck Cuny <franck@fcuny.net> | 2023-01-03 17:52:31 -0800 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2023-01-03 17:52:31 -0800 |
| commit | bf2ca4d56f3a9b5bd369d757f8fc63598274e53a (patch) | |
| tree | 7bff5cd13b02669fadb76f780c3e48c17b8629b7 /ops/github/.gitignore | |
| parent | feat: script to delete repositories on GitHub (diff) | |
| download | infra-bf2ca4d56f3a9b5bd369d757f8fc63598274e53a.tar.gz | |
ref: delete terraform configuration for GitHub
I'm not using GitHub for my repositories, and I don't need to maintain
this configuration either.
Diffstat (limited to 'ops/github/.gitignore')
| -rw-r--r-- | ops/github/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ops/github/.gitignore b/ops/github/.gitignore deleted file mode 100644 index 112bb96..0000000 --- a/ops/github/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# ignore the various terraform files that are generate. The state is -# stored in a GCS bucket. -.terraform* |