diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-11-19 17:11:04 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-22 21:47:33 +0000 |
| commit | 54cabb977d2729d766e6751c61073ab1adb4c2f8 (patch) | |
| tree | 42fb7a443ef8162b38c51870b201bc8efac5425c /.gitmodules | |
| parent | d198e2e5536079378652f638a6d148b3c8a6eb03 (diff) | |
util/release: Try reusing the local checkout for cloning
git clone allows using a local repo as reference which reduces the
required network traffic.
Change-Id: I64722cd5dbdfc0c2bcd935715cffdb99b773711c
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36954
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions