tree 3ca12148c8e2aeb64187177aad409f25bbeb5ec8
parent 116fa3048fb5af02f58b78bf13c58556e220284f
author Junghoon Jang <junghoonjang@google.com> 1681206568 +0000
committer Junghoon Jang <junghoonjang@google.com> 1681475091 +0000

repo-pull: Consider branch of repo

In the case of one source tree containing multiple repos with the same
project, but different branches, the script won't sync them properly.
To fix it, make it consider the branch along with the project.

Test: Tested syncing well in the directory which contains multiple repos
  with the same project, but different branches.
Change-Id: I9d1add4ffe85f80f8f9d6a3ae2c046473d7c4631
Signed-off-by: Junghoon Jang <junghoonjang@google.com>