If the deletion is a repository deletion, nothing will happen, but the mirror will continue trying to mirror, but fail. But, if the deletion is via git force push with a new git history on the same repository, this deletion will be propagated.
~ Robert Wolff (npub1c7x…yhh5)