Я разобрался, как это сделать: извлекая SSL-сертификат, который был установлен корпоративным брандмауэром и добавляя его в список доверенных сертификатов, я решил проблему:
echo -n | openssl s_client -showcerts -servername -connect github.com:443 2>/dev/null | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' >> $(curl-config --ca)