mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
c102fd5c0d
Some markdown renderers want <> around links to linkify them. Other renderers strip them out as redundant. Change-Id: Ib7f9962ce1dd47b4494a824c69358c75d98eb838 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/255312 Reviewed-by: David Pursehouse <dpursehouse@collab.net> Tested-by: Mike Frysinger <vapier@google.com>
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
|
|
```
|