| commit | 1e026cfcc4043b1a001a6e62d73b05d7663e7dfd | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Fri Apr 20 17:34:55 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Fri Apr 20 18:29:48 2018 +0800 |
| tree | 966669553251169d9479bd89a2004dae5cb6eb5b | |
| parent | 9d19090823dec7b8d1024a262a9e067ce3eb2ef2 [diff] |
repo-pull: Allow to ignore local branch name This commit allows users to omit `--branch` from command line options. `repo_pull.py` will not call `repo start` if `--branch` is unspecified. Test: repo_pull.py bash -g GERRIT QUERY Change-Id: I62380485f057bd35ab8ae4d5e70372ff5d05fcc5