Resolve "Add option to overwrite diverged branches when pull mirroring"

Closes #4723

See merge request gitlab-org/gitlab-ee!4559