git-send-email: avoid duplicate message-ids