Don't send masses of mails when pushing branch without new commits