| commit | 36d5edd405a5a1f101b31ea85b4ffe3b5998d903 | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Fri Apr 20 18:28:49 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Fri Apr 20 18:29:48 2018 +0800 |
| tree | 3edb4044f118bfcc13a9b87345fcceb30e1cf96e | |
| parent | 1e026cfcc4043b1a001a6e62d73b05d7663e7dfd [diff] |
repo-pull: Add `--pick` for non-merge commits This commit adds the `--pick` command line option so that users can choose the git command for the non-merge commits. Test: repo_pull.py pull -g GERRIT QUERY -p merge-ff-only Change-Id: Ib8bdaa1418dc2fb48d0f0e3c4eb995a23c007563