commit | 6a470be220abd777dae8d62cce4155be9fd136aa | [log] [tgz] |
---|---|---|
author | Renaud Paquay <rpaquay@google.com> | Tue Nov 01 11:25:15 2016 -0700 |
committer | David Pursehouse <dpursehouse@collab.net> | Sun May 28 21:16:15 2017 +0900 |
tree | a44a68ef76c106a0d5cdfe3ebafaf7a25f547f31 | |
parent | 169d8ae93cb8294db9a82cd6de97e94ef53abf7c [diff] |
Use OS file separator Change-Id: I46b15bc1c1b4f2300a6fd98fe16c755da4910e7a
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.