Mirroring : Branch not deleted on target project after Merge Request with 'Delete branch' and 'Squash Commits' merged

Problem to solve

Hi,

We configured a push repository mirror from an GitLab Community Edition v16.9.3 to another GitLab Community Edition v16.9.3 without the option ‘Keep divergent’ on projects.
The mirroring works correctly except when a MR with the options ‘Delete Branch’ and ‘Squash Commits’ is merged on the source project.
When a MR with the options ‘Delete Branch’ and ‘Squash Commits’ is merged on the source project, the commits (squash commit and MR commit) are correctly pushed to the target project, but the branch is not deleted on the target project.
Otherwise, when a MR with only the option ‘Delete Branch’ is merged on the source project, the branch is correctly deleted on the target project.
We checked that the problem is not related with protected branches configuration.
Currently, we delete the branches on the target project with API calls.
Do you have any other suggestion to work around the problem ?

Best regards

Versions

Please select whether options apply, and add the version information.

Versions
GitLab Community Edition v16.9.3