From 61f984c49d495a00e944ccc437447782afeb8ec0 Mon Sep 17 00:00:00 2001
From: Samuli Piippo <samuli.piippo@qt.io>
Date: Tue, 7 Mar 2023 07:32:10 +0000
Subject: [PATCH] Coin: fetch repo from github

Git clones from google fail frequently with:
   >> fatal: early EOF
   >> error: index-pack died
Switch to using github mirror for the git-repo repository.

Pick-to: 6.5 6.5.0 6.4 6.4.3 6.2
Change-Id: Id0cbf3c59e50869d62880e56251b003490c4c1ee
Reviewed-by: Mikko Gronoff <mikko.gronoff@qt.io>
---
 coin/module_config.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coin/module_config.yaml b/coin/module_config.yaml
index dfa06f8..b767e37 100644
--- a/coin/module_config.yaml
+++ b/coin/module_config.yaml
@@ -137,6 +137,7 @@ instructions:
       chmod +x repo
 
       ./repo init \
+          --repo-url https://github.com/theqtcompany/git-repo \
           -u git://code.qt.io/yocto/boot2qt-manifest \
           -b ci \
           -m ${MANIFEST} \