5a7e39a5f23d69ba07fc8183dbaffe083bd17b78 - plugins/pull-replication - Git at Google

commit: 5a7e39a5f23d69ba07fc8183dbaffe083bd17b78
[log]
author: Darius Jokilehto <dariusjokilehto@gmail.com>
Fri Oct 13 10:32:21 2023 +0100
committer: Darius Jokilehto <dariusjokilehto@gmail.com>
Fri Oct 13 13:20:56 2023 +0100
tree: 61dae96576326943624eda41665a3821006fc89e
parent: fa085d693eed25570e9eade35f0ce946c23dc3c2 [diff]

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

3 files changed

tree: 61dae96576326943624eda41665a3821006fc89e