Hi Chris, >>>>> "Chris" == Chris Koziarz <[email protected]> writes:
Chris> fatal: error [Errno -3] Temporary failure in name resolution This looks like a temporary problem trying to download the 'repo' tool -- your machine can't convert gerrit.googlesource.com into an IP address (or possibly one of the sites it redirects to). All I can suggest is trying again later. Peter C -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
