From d702f2bdbc8677b234e80bde9cbb782c314fcd06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Igor=20Pe=C4=8Dovnik?=
 <igorpecovnik@users.noreply.github.com>
Date: Thu, 28 Oct 2021 17:58:52 +0200
Subject: [PATCH] Set default mirror to Google

More recent git, needed for nice log extraction
---
 configs/lib.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configs/lib.config b/configs/lib.config
index eef0406f..3695dc70 100644
--- a/configs/lib.config
+++ b/configs/lib.config
@@ -4,3 +4,4 @@ COMPRESS_OUTPUTIMAGE="sha,gpg,xz"
 PRIVATE_CCACHE="yes"
 FAST_CREATE_IMAGE="yes"
 NO_HOST_RELEASE_CHECK="yes"
+USE_MAINLINE_GOOGLE_MIRROR="yes"