Allow using a caching proxy for Github requests to avoid hitting API limits