about summary refs log tree commit diff
path: root/infra
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2019-09-03T12·44+0100
committerVincent Ambo <tazjin@google.com>2019-09-03T15·12+0100
commiteb43ba75d2399d8ae0461cb85b9ce9a6a367cc2c (patch)
tree86817b1d5b626a760a9642d9169c444a45ea3816 /infra
parentbe28462a8a29403128b39696cc632f70363efa6e (diff)
chore(gcp): Remove monorepo repository
The repository is now public on Github.
Diffstat (limited to 'infra')
-rw-r--r--infra/gcp/default.tf5
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"
-}