diff options
| author | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-06-02 00:14:43 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-06-02 00:14:43 +0000 |
| commit | 472ce9f5fa61a953b9275cfe36b8b86f3dad5c73 (patch) | |
| tree | bce9a6d31b48a6cde2bf0f09b34e7fd3923500d7 /main.py | |
| parent | 0184dcc510969d6e7cb2525da8e7e2a87ed5f012 (diff) | |
| parent | c4b301f988ad7499257538070f78f5e50e61b3ae (diff) | |
| download | git-repo-472ce9f5fa61a953b9275cfe36b8b86f3dad5c73.tar.gz | |
Merge changes I32da12c2,Ie4a65b3e
* changes:
Skip sleep and retry if git remote update exits with a signal
Catch exceptions in project list generator
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions