From 488f3f6fa3a63b3ce1d9ae2481e71aaf7644623d Mon Sep 17 00:00:00 2001
From: Paul Keith <javelinanddart@gmail.com>
Date: Sat, 16 Feb 2019 22:27:01 +0100
Subject: [PATCH] android: Add gitlab remote

* Useful for private repos

Change-Id: I67017f06791af5248d3898d44cefd38be5e8aea2
---
 default.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.xml b/default.xml
index 6382ec2..7fa7f2d 100644
--- a/default.xml
+++ b/default.xml
@@ -8,6 +8,9 @@
   <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"