tree 85a3dc276fce472f23ee541762a6d651d345c7f2
parent e68242a12ea4a21f3d3629ea9bfcb2c4e48d4d19
author Adam Sadovsky <sadovsky@google.com> 1440526695 -0700
committer Adam Sadovsky <sadovsky@google.com> 1440526751 +0000

TBR ether: improve sync_repos.sh script a bit

Change-Id: I68fc4497d60aea4abadbc8d35804ddf42c771f71