From 76173efb87f4e58293af4c78758316d3b575f665 Mon Sep 17 00:00:00 2001
From: Tom Powell <tom@powell.io>
Date: Tue, 25 Feb 2020 18:02:13 -0800
Subject: [PATCH] android: drop gitlab remote, as we don't pull from gitlab

Change-Id: Ib04757b49d19d05f727da5da0a5eccba4d7f8d44
---
 default.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/default.xml b/default.xml
index d6f31bfa..57f7ee97 100644
--- a/default.xml
+++ b/default.xml
@@ -8,9 +8,6 @@
   <remote  name="private"
            fetch="ssh://git@github.com" />
 
-  <remote  name="gitlab"
-           fetch="ssh://git@gitlab.com" />
-
   <remote  name="aosp"
            fetch="https://android.googlesource.com"
            review="android-review.googlesource.com"