For developers and contributors

Most of the documentation relates to infra.git repository.

General information

Contributor's Guides

TBD:

  • How to handle authentication
  • How to add a new tool.

Technical Background

This section explains some technical choices.

For Googlers

See internal page.