RFR: mirror-bot: support mirroring of selected branches

Tue Mar 24 12:37:14 UTC 2020

On Tue, 24 Mar 2020 11:56:16 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

>> Looks good!
>
> Nice. Would it be possible to have an option to also sync reachable tags, using `git push --follow-tags` in the case
> where only a single branch is mirrored?

@kevinrushforth yes, I thought about adding that as the next feature ��

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

PR: https://git.openjdk.java.net/skara/pull/536