diff options
| author | Chirayu Desai <chirayudesai1@gmail.com> | 2015-01-23 23:53:48 +0530 |
|---|---|---|
| committer | Adnan Begovic <adnan@cyngn.com> | 2015-10-06 18:15:27 -0700 |
| commit | dc077549ec19516662fa6ab68b7aada113ba04ee (patch) | |
| tree | 97f562a22c2bcb67a08386cb293834616cff746b /target | |
| parent | f533c2c871ab0715464cdc1986bf0f35757c27ec (diff) | |
| download | build-dc077549ec19516662fa6ab68b7aada113ba04ee.zip build-dc077549ec19516662fa6ab68b7aada113ba04ee.tar.gz build-dc077549ec19516662fa6ab68b7aada113ba04ee.tar.bz2 | |
repopick: Allow the github fetch to fail
* This is optional and done to save gerrit server
bandwidth, however it may fail in cases where
the 'github' remote is a mirror which doesn't
sync the changes.
* Let it try fetching from gerrit if fetching from
github fails.
Change-Id: I6d183ff83572d817d78633280d8b20e3efdaf8f0
Diffstat (limited to 'target')
0 files changed, 0 insertions, 0 deletions