tree: 0cac68de8bea2f593a0e70074eac0c7081e0de13 [path history] [tgz]
  1. bugdroid/
  2. builder_alerts/
  3. git_cache_updater/
  4. git_cookie_daemon/
  5. gnumbd/
  6. gsubtreed/
  7. lkgr_finder/
  8. lkgr_tag_pusher/
  9. logs_uploader/
  10. master_lifecycle/
  11. master_manager_launcher/
  12. mastermon/
  13. service_manager/
  14. sysmon/
  15. __init__.py
  16. 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.