Merge changes Iff3cdebe,I9d1add4f

* changes:
  repo-pull: Introduce --current-branch argument
  repo-pull: Consider branch of repo