git settings (http proxy)