| commit | dc077549ec19516662fa6ab68b7aada113ba04ee | [log] [tgz] |
|---|---|---|
| author | Chirayu Desai <chirayudesai1@gmail.com> | Fri Jan 23 23:53:48 2015 +0530 |
| committer | Adnan Begovic <adnan@cyngn.com> | Tue Oct 06 18:15:27 2015 -0700 |
| tree | 97f562a22c2bcb67a08386cb293834616cff746b | |
| parent | f533c2c871ab0715464cdc1986bf0f35757c27ec [diff] |
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