Respect `remote.mirror` option in DeleteRefCommand

When the `remote.mirror` option is disable, the replica should ignore
branch and tag deletions. This is handled correctly for CGit and JGit
fetches, but is ignored when ref deletion is applied through
`ApplyObjectAction`.

This change adds a check for `mirror` option status to the
`DeleteRefCommand` and ignores it when it is set to `false`. This is
aligning HTTP and Brodker-based implementations with the behaviour of
`git fetch` command.

Bug: Issue 40015323
Change-Id: Idf565ddb69602be9af41857ca5135db7b5429570
3 files changed
tree: 99613ec8602a216684ce26d5e9618abc880ae66e
  1. example-setup/
  2. src/
  3. .gitignore
  4. BUILD
  5. Jenkinsfile
  6. LICENSE