tree 661b0ee88b2bd87cc591a8dfe7c48f26db972d70
parent 97bd347fcf80b5bdb2d65365f4c4cbe579bbcb1b
author Logan Chien <loganchien@google.com> 1524210541 +0800
committer Logan Chien <loganchien@google.com> 1524220184 +0800

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