From 25f3abc5546b844f43530f84b0b45ddfe2b69d34 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 ad630526..a99e3e4c 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"