Updated repos from spreadsheet of June 10.