Gave up on the post-receive hook for now.