| commit | 8e9da480044b67f983baa10b0ab354507ba73f0f | [log] [tgz] |
|---|---|---|
| author | Darius Jokilehto <dariusjokilehto@gmail.com> | Mon Oct 16 15:20:00 2023 +0100 |
| committer | Darius Jokilehto <dariusjokilehto@gmail.com> | Wed Oct 18 19:03:59 2023 +0000 |
| tree | d82da0464f75a785725edbbb2ea9c5a93561cbdb | |
| parent | 9020bb13a304eabe2f7a338003a1e811481c0755 [diff] |
Add mirror replication option for CGit client When using the CGit client, there is currently no way to remove refs removed from the remote (i.e. mirroring). The mirror option was added to the JGit client in change I3aa62c58f36f0d095bff40fe03688677b6a113d3, but it's still missing from the CGit client. This change adds the mirror option when using the CGit client too. Note that `--prune-tags [1] isn't set, so only tags that track remote refs will be removed. [1] https://www.git-scm.com/docs/git-fetch/2.25.1#Documentation/git-fetch.txt---prune-tags Bug: Issue 40015295 Change-Id: I59b4b57a297d4d1fdc490562a8adf38ec8a1f6bd