Homepage: https://source.android.com/source/developing.html
Repository: https://gerrit.googlesource.com/git-repo.git
Repository-Browse: https://gerrit.googlesource.com/git-repo
Bug-Database: https://bugs.chromium.org/p/gerrit/issues/list?q=component:repo
Bug-Submit: https://bugs.chromium.org/p/gerrit/issues/entry?template=Repo+tool+issue
