listeners/jenkins: be less verbose when push updated