commit | 3069be2684b0301886c8212d589fe670569a896e | [log] [tgz] |
---|---|---|
author | Xin Li <delphij@google.com> | Thu Aug 22 10:00:27 2019 -0700 |
committer | Xin Li <delphij@google.com> | Thu Aug 22 18:33:41 2019 +0000 |
tree | 5248f850b165527494ee8bab7c2691924524d0e5 | |
parent | d5c306b404c321c19191c197c75130d1dc14897a [diff] |
Explicitly allow clobbering tags when fetching from remote. Bug: b/139860049 Change-Id: I3c4134eda7e9e75c9d72b233e269bcc0e624d1e8 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/234632 Reviewed-by: Mike Frysinger <vapier@google.com> Tested-by: Xin Li <delphij@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.