RFR: 1235: git sync --branches doesn't work as expected

[Magnus Ihse Bursie]

On Thu, 22 Sep 2022 23:49:12 GMT, Zhao Song <duke at openjdk.org> wrote:

> Make git sync --branches works as expected.
> 
> The argument after git sync --branches will not be ignored right now.

Looks good to me.

-------------

Marked as reviewed by ihse (Reviewer).

PR: https://git.openjdk.org/skara/pull/1381