github_post_receive: ping http_server on progress