| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Using https://gcc.gnu.org/git/gcc.git caused some problems:
2016-02-15 12:06:43 ERROR Traceback (most recent call last):
File "/usr/bin/lorry", line 114, in process_args
self.gitify(name, specs[name])
File "/usr/bin/lorry", line 232, in gitify
table[vcstype](name, dirname, gitdir, spec)
File "/usr/bin/lorry", line 341, in mirror_git
cwd=gitdir, env=env)
File "/usr/bin/lorry", line 554, in run_program
(' '.join(argv), exit, self.indent(err or '')))
Exception: git remote update origin --prune failed (exit code 1):
error: Unable to find 85ced2664167557af596e1676432abb85762e7a9 under https://gcc.gnu.org/git/gcc.git
Cannot obtain needed tree 85ced2664167557af596e1676432abb85762e7a9
while processing commit abcfc310c53d93093a538417e9abd07a371d8ec5.
error: fetch failed.
error: Could not fetch origin
Change-Id: I41f5d6a748b91af46e2d0a124d5776a76286e951
|
