Update the list of repos for GitHub mirror

Change-Id: Ie471552271d65c7bb975b7b8fcb52379c534d18b
1 file changed
tree: 73c67180a242c2b3419a81add1aeac1b99459311
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. PATENTS
  5. README.md
  6. fudash/
  7. go/
  8. scripts/
  9. website/
README.md

infra

This repo contains tools and config files necessary to run infrastructure related to builds, code review, version control, and continuous integrations.