Github: timeout HTTP request after 10 seconds