Don't send masses of mails when pushing branch without new commits
-rwxr-xr-x 520 post-receive
-rwxr-xr-x 14617 post-receive-email
-rwxr-xr-x 3128 update