Curl github download. On the CI server, I want to fetch a config file that we maintain on Github so...