tree 61dae96576326943624eda41665a3821006fc89e
parent fa085d693eed25570e9eade35f0ce946c23dc3c2
author Darius Jokilehto <dariusjokilehto@gmail.com> 1697189541 +0100
committer Darius Jokilehto <dariusjokilehto@gmail.com> 1697199656 +0100

Add mirror replication option for JGit client

Remove branches and tags when this option is set to true.

This option is currently only implemented for JGit.

Bug: Issue 40015295
Change-Id: I3aa62c58f36f0d095bff40fe03688677b6a113d3