GitHub Copilot через прокси: настройка в VS Code и JetBrains и проверка

Чего прокси не меняет

Эта статья про настройку сети, а не про то, доступен ли вам Copilot. На странице GitHub о торговых ограничениях сказано, что использование GitHub подчиняется экспортному контролю и санкционным законам США, а GitHub Copilot не поставляется в страны под эмбарго и в некоторые ограниченные страны. Прокси меняет только сетевой выход. Он не делает Copilot доступным там, где его нет, и не меняет условия GitHub и ваш тариф.

• Источники:
• Документация GitHub: GitHub and trade controls

Прокси в VS Code

Для VS Code в документации GitHub сказано: File → Preferences → Settings, затем Application → Proxy, и впишите адрес прокси в текстовое поле под Proxy, например http://localhost:3128. Эта страница описывает именно поле и не приводит ключ в settings.json. В документации VS Code эта настройка называется http.proxy, и поле Proxy, скорее всего, хранится в ней, но ни одна из страниц не подтверждает, что Copilot её читает, поэтому подтвердите это проверками ниже. Чтобы править её текстом, выполните в палитре команд Preferences: Open User Settings (JSON). После изменения перезапустите VS Code.

• прокси в VS Code

• Источники:
• Документация GitHub: Configuring network settings for GitHub Copilot
• Документация Visual Studio Code: Network Connections

Прокси в VS Code: пример

http://USERNAME:PASSWORD@HOST:PORT

В поле Proxy в VS Code вводится этот адрес. Замените HOST, PORT, USERNAME и PASSWORD значениями из «Мои активы».

Прокси в IDE JetBrains

Для IDE JetBrains (IntelliJ IDEA, PyCharm, WebStorm и других) в документации GitHub сказано: Settings → Appearance & Behavior → System Settings → HTTP Proxy, выберите Manual proxy configuration и HTTP, затем введите имя хоста и номер порта. Для логина и пароля на той же странице отметьте Proxy authentication и введите их. Документация предупреждает, что эти данные хранятся открытым текстом. Можно также записать данные в адрес прокси и задать этот адрес в поддерживаемой переменной окружения.

• прокси в JetBrains

• Источники:
• Документация GitHub: Configuring network settings for GitHub Copilot

Если в редакторе прокси не задан: переменные окружения

Если прокси в редакторе не задан, Copilot смотрит переменные окружения в таком порядке: HTTPS_PROXY, https_proxy, HTTP_PROXY, http_proxy. Первую найденную он использует и для HTTP-, и для HTTPS-запросов, что, как отмечает GitHub, не соответствует обычному соглашению. Переменную, заданную в терминале, не увидит редактор, запущенный с рабочего стола, поэтому задайте её в том же терминале, из которого запускаете редактор, или используйте поле в самом редакторе.

• Источники:
• Документация GitHub: Network settings for GitHub Copilot

Логин и пароль: базовая аутентификация

В документации GitHub сказано, что Copilot поддерживает базовую аутентификацию и Kerberos. Для прокси с логином и паролем используется базовая аутентификация. В VS Code логин и пароль пишутся в адресе: http://USERNAME:PASSWORD@HOST:PORT (пример самого GitHub — http://USERNAME:[email protected]:5187/), а адрес хранится в настройках VS Code или в поддерживаемой переменной окружения.

Процентное кодирование — общее правило для адресов, на странице GitHub о нём не сказано: если в пароле есть спецсимволы, пишите @ как %40, : как %3A, / как %2F, # как %23, % как %25.

• Источники:
• Документация GitHub: Configuring network settings for GitHub Copilot
• Документация GitHub: Network settings for GitHub Copilot

HTTP или SOCKS5

На странице GitHub о сети сказано, что поддерживаются только обычные HTTP-прокси, а адреса прокси, начинающиеся с https://, сейчас не поддерживаются. SOCKS не упоминается. В документации VS Code сказано, что аутентификация SOCKS5 пока не реализована. Поэтому выбирайте HTTP и пишите адрес с http://.

• Источники:
• Документация GitHub: Network settings for GitHub Copilot
• Документация Visual Studio Code: Network Connections

Сертификаты

Если ваш прокси подменяет сертификаты, по словам GitHub, Copilot читает сертификаты из хранилища доверия операционной системы, а также из файла, указанного в переменной окружения NODE_EXTRA_CA_CERTS. Устанавливайте только проверенные сертификаты: владелец сертификата может читать ваш трафик.

Как крайнюю меру GitHub называет отключение Proxy Strict SSL в VS Code или включение Accept non-trusted certificates automatically в JetBrains (Appearance & Behavior → System Settings → Server Certificates) и добавляет, что это может создать проблемы безопасности и не рекомендуется.

• Источники:
• Документация GitHub: Network settings for GitHub Copilot
• Документация GitHub: Configuring network settings for GitHub Copilot

Как проверить, что прокси работает

1. Шаг 1

   Проверьте прокси в терминале. На странице GitHub об устранении неполадок проверка такая: выполните команду curl ниже. Рабочее подключение возвращает ответ HTTP 200. Для Copilot Chat на той же странице вместо этого используется https://api.githubcopilot.com/_ping.

2. Шаг 2

   Посмотрите, какой IP показывает прокси. Команда покажет IP, страну и сеть, которые видят сайты. Как читать поля ip, country, city и org, объясняет статья о проверке IP, страны и провайдера прокси.

   • проверке IP, страны и провайдера прокси

3. Шаг 3

   Перезапустите редактор и откройте Copilot. После перезапуска войдите в GitHub в редакторе и отправьте короткое сообщение в чат или примите одну подсказку. Если не получается, страница GitHub советует включить отладочный журнал редактора и читать статью о просмотре журналов Copilot.

4. Шаг 4

   Если есть корпоративный файрвол, разрешите список GitHub. В справочнике GitHub по разрешённым адресам среди прочего названы https://github.com, https://api.github.com/copilot_internal/*, https://copilot-proxy.githubusercontent.com и https://*.githubcopilot.com/*. Полную таблицу смотрите там: для корпоративных тарифов она отличается.

Как проверить, что прокси работает: пример

curl --verbose -x http://USERNAME:PASSWORD@HOST:PORT -i -L https://copilot-proxy.githubusercontent.com/_ping

Замените HOST, PORT, USERNAME и PASSWORD значениями из «Мои активы».

• Источники:
• Документация GitHub: Troubleshooting network errors for GitHub Copilot

Какой IP видят сайты

curl -x http://USERNAME:PASSWORD@HOST:PORT https://ipinfo.io/json

Замените HOST, PORT, USERNAME и PASSWORD значениями из «Мои активы».

Типичные ошибки

• read ETIMEDOUT или read ECONNRESET при запуске Copilot. GitHub называет две частые причины: адрес прокси, начинающийся с https:// (не поддерживается), и проблемы с аутентификацией. Используйте http:// и перепроверьте логин и пароль.

• Прокси отвечает, но вход не проходит. Скопируйте данные заново из «Мои активы» и проверьте процентное кодирование. Ошибка 407 на использованных здесь страницах GitHub по имени не названа.

• Сообщения о сертификатах вроде unable to verify the first certificate. Добавьте сертификат прокси в хранилище доверия ОС или задайте NODE_EXTRA_CA_CERTS, как описано выше; отключение проверки — крайняя мера.

• Таймауты у curl. Прокси не отвечает на этом порту или закончилась аренда IP.

• Корпоративный прокси. GitHub пишет, что администратор прокси-сервера или файрвола тоже должен настроить сетевые параметры для Copilot.

• Источники:
• Документация GitHub: Troubleshooting network errors for GitHub Copilot
• Документация GitHub: Network settings for GitHub Copilot

Как это сделать с Proxy302

Статический ISP-прокси подходит для Copilot: у каждого разработчика один постоянный адрес на весь срок аренды, а при покупке вы выбираете HTTP. На странице про прокси для GitHub Copilot есть подробности и готовый пресет, а сам продукт описан на странице статических резидентных прокси.

• страница про прокси для GitHub Copilot
• статические резидентные прокси

Как это сделать с Proxy302: шаги

1. Шаг 1

   Откройте страницу статического ISP, выберите страну, протокол HTTP, срок и количество IP, затем создайте прокси.

2. Шаг 2

   Откройте «Мои активы» и скопируйте HOST, PORT, USERNAME и PASSWORD. На странице «Подключение» есть готовый пример с вашими данными. У HTTP порт 2222.

3. Шаг 3

   Вставьте HTTP-адрес в поле Proxy в VS Code или впишите хост, порт и Proxy authentication на странице HTTP Proxy в JetBrains и перезапустите редактор.

4. Шаг 4

   Выполните запрос curl на адрес ping GitHub, затем войдите и попробуйте Copilot.

Цены и ограничения

Статический ISP стоит $0,50 за сутки и $7,99 за 30 дней, около $0,27 в день, во всех странах одинаково. Наличие по странам меняется каждый день и показано на странице заказа. Бесплатного пробного периода нет, минимальная покупка один IP на один день.

• Источники:
• Факты о продуктах и прайс Proxy302

Смежные руководства

Шаги для самих редакторов подробно описаны в руководстве по VS Code и руководстве по JetBrains.

• прокси в VS Code
• прокси в JetBrains

Частые вопросы

Читайте дальше

Прокси для GitHub Copilot

Прокси для GitHub Copilot: статический ISP-IP и HTTP-прокси с логином и паролем для VS Code, JetBrains и Visual Studio — и что правила GitHub значат для России.

Посмотреть параметры и цену

Прокси в VS Code: настройка

Прокси в VS Code: откуда его берут редактор и расширения, http.proxy, логин и пароль, терминал и проверка.

Прокси в IDE JetBrains: настройка

Прокси в IntelliJ IDEA, PyCharm, WebStorm: страница HTTP Proxy, ручной HTTP или SOCKS, логин и пароль, Check connection и замечание про AI Assistant.

Как проверить прокси: IP, страна, провайдер

Как за 30 секунд проверить IP, страну и провайдера прокси, почему сервисы расходятся в городе и что значит «чистота» IP. С нашей проверкой трёх сервисов.