mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-23 07:16:21 +00:00
befaec1e56
Change-Id: Ide4008f09c2f17f8fb3d85dfffe94544abfdd6a6
15 lines
667 B
Markdown
15 lines
667 B
Markdown
# repo
|
|
|
|
Repo is a tool built on top of Git. Repo helps manage many Git repositories,
|
|
does the uploads to revision control systems, and automates parts of the
|
|
development workflow. Repo is not meant to replace Git, only to make it
|
|
easier to work with Git. The repo command is an executable Python script
|
|
that you can put anywhere in your path.
|
|
|
|
* Homepage: https://code.google.com/p/git-repo/
|
|
* Bug reports: https://code.google.com/p/git-repo/issues/
|
|
* Source: https://code.google.com/p/git-repo/
|
|
* Overview: https://source.android.com/source/developing.html
|
|
* Docs: https://source.android.com/source/using-repo.html
|
|
* [Submitting patches](./SUBMITTING_PATCHES.md)
|