commit | 5a7e39a5f23d69ba07fc8183dbaffe083bd17b78 | [log] [tgz] |
---|---|---|
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