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 | 532733190849d8e4eecf596957a80a34e4c8b858 (patch) | |
| tree | dc676d024f4bbbeb7b915e640f8a2c276020d6b2 | |
| parent | 7eacd4bde96625a20c9a103c0ddd338c47ce8783 (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>
| -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 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} \ |