standard git post-receive-email script