tree: ebe45d991ca4e43e073e25c54179008f8ac67bc7 [path history] [tgz]
  1. builder_alerts/
  2. devicemon/
  3. git_cache_updater/
  4. gnumbd/
  5. gsubtreed/
  6. lkgr_finder/
  7. lkgr_tag_pusher/
  8. logs_uploader/
  9. master_lifecycle/
  10. master_manager_launcher/
  11. mastermon/
  12. service_manager/
  13. sysmon/
  14. __init__.py
  15. README.md
infra/services/README.md
  • gnumbd: git numbering daemon. Adds a monotonically-increasing number to git commits.
  • gsubtreed: git subtree daemon. Mirrors subdirectories of some repositories into independent repos so they can be consumed by downstream projects.
  • lkgr_finder / lkgr_tag_pusher: computes last known good revision, based on test results.