diff options
author | Samuli Piippo <samuli.piippo@qt.io> | 2023-03-07 07:32:10 +0000 |
---|---|---|
committer | Qt Cherry-pick Bot <cherrypick_bot@qt-project.org> | 2023-03-09 21:26:56 +0000 |
commit | 760d334c61051509ef8271383b1849c7b24baa16 (patch) | |
tree | 23ae43f4df9cc7a7e4cf1e96058637d6afd02592 /coin | |
parent | b417bedcae1c4c22ccfe4b0af4dbc548e18b41f7 (diff) |
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.
Change-Id: Id0cbf3c59e50869d62880e56251b003490c4c1ee
Reviewed-by: Mikko Gronoff <mikko.gronoff@qt.io>
(cherry picked from commit 61f984c49d495a00e944ccc437447782afeb8ec0)
Reviewed-by: Qt Cherry-pick Bot <cherrypick_bot@qt-project.org>
Diffstat (limited to 'coin')
-rw-r--r-- | coin/module_config.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coin/module_config.yaml b/coin/module_config.yaml index 7f83df9..ae73715 100644 --- a/coin/module_config.yaml +++ b/coin/module_config.yaml @@ -119,6 +119,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} \ |