cute post-receive-hook for git – candidate for merge into git.git