tree 3edb4044f118bfcc13a9b87345fcceb30e1cf96e
parent 97bd347fcf80b5bdb2d65365f4c4cbe579bbcb1b
parent 36d5edd405a5a1f101b31ea85b4ffe3b5998d903
author Treehugger Robot <treehugger-gerrit@google.com> 1524240862 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1524240862 +0000

Merge changes Ib8bdaa14,I62380485,I6cbedbd2

* changes:
  repo-pull: Add `--pick` for non-merge commits
  repo-pull: Allow to ignore local branch name
  repo-pull: Add checkout for merge commits