Chosing the target repo for a mirrored commit on the basis of branch and sourceRepo#3407

Merged

Anipik merged 1 commit intodotnet:masterfrom Anipik:release30

Jul 27, 2019

+8-8

Commits on Jul 26, 2019

converting repo -> reposToMirrorInto to (repo, branch) -> reposToMirrorInto
Anipik
committed