Oswald Buddenhagen Tue, 17 May 2022 07:45:17 -0700
since v1.0, one can use mbsync --push-delete
to achieve the desired effect.