diff options
| author | Mike Frysinger <vapier@google.com> | 2020-03-14 14:35:26 -0400 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2020-03-18 00:24:43 +0000 |
| commit | 58ac1678e8438fd029a22365741fc57276eda404 (patch) | |
| tree | ddadc39f70fa728e5cf75f2220716da42cef4d55 /project.py | |
| parent | e1111f5710acf16d91975a9ee5e2c9464730becf (diff) | |
| download | git-repo-58ac1678e8438fd029a22365741fc57276eda404.tar.gz | |
init: rename --repo-branch to --repo-rev
We refer to this as "revision" in help text, and in REPO_REV envvar,
so rename to --repo-rev to be consistent. We keep --repo-branch for
backwards compatibility, but as a hidden option.
Bug: https://crbug.com/gerrit/11045
Change-Id: I1ecc282fba32917ed78a63850360c08469db849a
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/259352
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Diffstat (limited to 'project.py')
0 files changed, 0 insertions, 0 deletions