From eb43ba75d2399d8ae0461cb85b9ce9a6a367cc2c Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Tue, 3 Sep 2019 13:44:30 +0100
Subject: [PATCH] chore(gcp): Remove monorepo repository

The repository is now public on Github.
---
 infra/gcp/default.tf | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/infra/gcp/default.tf b/infra/gcp/default.tf
index 677e737a2..18096bf2b 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"
-}