Mute github-wmde