| commit | e19d9e1a65f9c4c357b46ebf1f0bb695401e76c5 | [log] [tgz] |
|---|---|---|
| author | Mike Frysinger <vapier@google.com> | Wed Feb 12 11:23:32 2020 -0500 |
| committer | Mike Frysinger <vapier@google.com> | Wed Feb 12 20:54:57 2020 +0000 |
| tree | e33c3d80c9a452e2212608d9a65938913aecda5c | |
| parent | 8ddff5c74f533f4f125c957d7bd063452c59f0db [diff] |
sync: add a "finished" message Some people find the existing output to be a bit confusing. It spews a lot of git output before exiting, but it's not exactly clear what the final state is when things pass. Add an explicit message. Bug: https://crbug.com/gerrit/10501 Change-Id: I9de83b595d3185feb820005b8fc81c6adc55b357 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/254732 Reviewed-by: Michael Mortensen <mmortensen@google.com> Reviewed-by: Mike Frysinger <vapier@google.com> Tested-by: Mike Frysinger <vapier@google.com>
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.
Many distros include repo, so you might be able to install from there.
# 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.
$ mkdir -p ~/.bin $ PATH="${HOME}/.bin:${PATH}" $ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo $ chmod a+rx ~/.bin/repo