Clone this repo:

Branches

  1. de3305e Add jiri repo for syncing by Christopher Lane · 2 days ago master
  2. 9d80d03 Added sysui to synced repos. by P.Y. Laligand · 3 days ago
  3. 9677f6e Adding the ledger to the list of synced repositories. by Benjamin Lerman · 10 days ago
  4. 3bc995d Add a handful of newly ported third_party repos by Christopher Lane · 13 days ago
  5. 90efc44 Add network-related repos by Christopher Lane · 13 days ago

infra

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