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 | 21391451234bd8c17aefa9d6d974bfe24b302b7e (patch) | |
| tree | 447c64c16d753e390d1204cfdd0f52dc63e27587 | |
| parent | c7e4c65608d64835e1a09f78bfbdb82144a975af (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} \ |