tree 73c67180a242c2b3419a81add1aeac1b99459311
parent e43d2b06550e7c91d3d520dbeb8aed194f9e2438
author Petr Hosek <phosek@google.com> 1518748819 -0800
committer Petr Hosek <phosek@google.com> 1518748819 -0800

Update the list of repos for GitHub mirror

Change-Id: Ie471552271d65c7bb975b7b8fcb52379c534d18b