android: drop gitlab remote, as we don't pull from gitlab

Change-Id: Ib04757b49d19d05f727da5da0a5eccba4d7f8d44
diff --git a/default.xml b/default.xml
index d6f31bf..57f7ee9 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"