mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
7ac12a9b22
Change-Id: I82a1bec3a29d622c76b5709b96bbe8bff8aa427f Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/247573 Tested-by: Mike Frysinger <vapier@google.com> Reviewed-by: David Pursehouse <dpursehouse@collab.net>
37 lines
1.2 KiB
Markdown
37 lines
1.2 KiB
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://gerrit.googlesource.com/git-repo/
|
|
* Bug reports: https://bugs.chromium.org/p/gerrit/issues/list?q=component:repo
|
|
* Source: https://gerrit.googlesource.com/git-repo/
|
|
* Overview: https://source.android.com/source/developing.html
|
|
* Docs: https://source.android.com/source/using-repo.html
|
|
* [repo Manifest Format](./docs/manifest-format.md)
|
|
* [repo Hooks](./docs/repo-hooks.md)
|
|
* [Submitting patches](./SUBMITTING_PATCHES.md)
|
|
* Running Repo in [Microsoft Windows](./docs/windows.md)
|
|
|
|
## Install
|
|
|
|
Many distros include repo, so you might be able to install from there.
|
|
```sh
|
|
# Debian/Ubuntu.
|
|
$ sudo apt-get install repo
|
|
|
|
# Gentoo.
|
|
$ sudo emerge dev-vcs/repo
|
|
```
|
|
|
|
You can install it manually as well as it's a single script.
|
|
```sh
|
|
$ mkdir -p ~/.bin
|
|
$ PATH="${HOME}/.bin:${PATH}"
|
|
$ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo
|
|
$ chmod a+rx ~/.bin/repo
|
|
```
|