tag | f5a2eaf03834b9a4365a82f395de076f7fb7cd84 | |
---|---|---|
tagger | Mike Frysinger <vapier@google.com> | Tue Oct 22 15:56:16 2019 |
object | 1460622636c766995917435c85757bd6b1082d8a |
repo 1.13.7.1-cr1
commit | 1460622636c766995917435c85757bd6b1082d8a | [log] [tgz] |
---|---|---|
author | Mike Frysinger <vapier@google.com> | Tue Oct 22 15:55:29 2019 |
committer | Mike Frysinger <vapier@google.com> | Tue Oct 22 15:55:29 2019 |
tree | a166f497ab9cd3e55b41724bb029d33408ccecb9 | |
parent | 497a634db09d04190664eee72f97013631aefa9e [diff] | |
parent | b466854bed4348a210fec5870023c1a44cd830b5 [diff] |
Merge commits up to v1.13.7.1 b466854bed43 2019-10-21 22:53:46 -0400 forall: add an --ignore-missing option d1e93dd58a6b 2019-10-10 18:34:39 -0400 python-support: adjust major versions Change-Id: Ie33aef2aa2e846fde9f0b08e83081a17cd024334
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.