diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-09-03T12·44+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-09-03T15·12+0100 |
| commit | eb43ba75d2399d8ae0461cb85b9ce9a6a367cc2c (patch) | |
| tree | 86817b1d5b626a760a9642d9169c444a45ea3816 /infra | |
| parent | be28462a8a29403128b39696cc632f70363efa6e (diff) | |
chore(gcp): Remove monorepo repository
The repository is now public on Github.
Diffstat (limited to 'infra')
| -rw-r--r-- | infra/gcp/default.tf | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/infra/gcp/default.tf b/infra/gcp/default.tf index 677e737a242e..18096bf2b476 100644 --- a/infra/gcp/default.tf +++ b/infra/gcp/default.tf @@ -81,8 +81,3 @@ resource "google_service_account" "nixery" { account_id = "nixery" display_name = "Nixery service account" } - -# Configure a git repository in which to store my monorepo -resource "google_sourcerepo_repository" "monorepo" { - name = "monorepo" -} |