Send notification emails for pushes to a git repository (an improved version of post-receive-mail)