Prevent stopping the proxy when github is out of order.