| commit | 9d19090823dec7b8d1024a262a9e067ce3eb2ef2 | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Fri Apr 20 15:49:01 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Fri Apr 20 18:29:44 2018 +0800 |
| tree | 661b0ee88b2bd87cc591a8dfe7c48f26db972d70 | |
| parent | 97bd347fcf80b5bdb2d65365f4c4cbe579bbcb1b [diff] |
repo-pull: Add checkout for merge commits This commit adds `-m checkout` for merge commits. If `-m checkout` is specified, `repo_pull.py` will pull the merge commits with `git checkout FETCH_HEAD`. Test: repo_pull.py bash -g GERRIT QUERY -m checkout -b local_branch_name Change-Id: I6cbedbd2941c63c8bb0591b6033a136829ffda47