From a69886ff974e46e065a32599c70761d4fb22a7f9 Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:05:22 +0100 Subject: [PATCH 1/8] Update configuring-network-settings-for-github-copilot.md Test --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index 9900aa64c6b3..8c59d6fa8a83 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -110,7 +110,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% 1. In the JSON object, add the following top-level property, replacing `YOUR-SPN` with the correct SPN for your proxy service. ```json copy - "http.proxyKerberosServicePrincipal": "YOUR-SPN", + "http.proxyKerberosServicePrincipal": "YOUR-SPN" ``` {% endvscode %} From 3fee19532e56fc2e25e7e5adcf676d80100f834b Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:06:10 +0100 Subject: [PATCH 2/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 1 - 1 file changed, 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index 8c59d6fa8a83..3e89a44fec90 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -113,7 +113,6 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% "http.proxyKerberosServicePrincipal": "YOUR-SPN" ``` -{% endvscode %} {% jetbrains %} From 3ad3074d35ed4e67bd1767643fbb81b62a000563 Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:06:30 +0100 Subject: [PATCH 3/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index 3e89a44fec90..f7ca18a014c7 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -110,7 +110,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% 1. In the JSON object, add the following top-level property, replacing `YOUR-SPN` with the correct SPN for your proxy service. ```json copy - "http.proxyKerberosServicePrincipal": "YOUR-SPN" + "http.proxyKerberosServicePrincipal": "YOUR-SPN"} ``` From 0c995de8f715317408b955e41afa2dbace00fa7f Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:06:48 +0100 Subject: [PATCH 4/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 1 - 1 file changed, 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index f7ca18a014c7..fd93f8915902 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -114,7 +114,6 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% ``` -{% jetbrains %} #### Overriding the default SPN in JetBrains IDEs From 0f5712df11def409e71fd053304b2708a94e7f31 Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:09:38 +0100 Subject: [PATCH 5/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index fd93f8915902..24d532bc3130 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -109,7 +109,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% 1. Type `settings`, then click **Preferences: Open User Settings (JSON)**. 1. In the JSON object, add the following top-level property, replacing `YOUR-SPN` with the correct SPN for your proxy service. - ```json copy + ```json copy "http.proxyKerberosServicePrincipal": "YOUR-SPN"} ``` From 12e57bc6d0eb30eec5caa4f487d641d38f19e165 Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:14:35 +0100 Subject: [PATCH 6/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index 24d532bc3130..c828ad78e72e 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -111,7 +111,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% ```json copy "http.proxyKerberosServicePrincipal": "YOUR-SPN"} - ``` + ``` From deb38cf5351b509fb8f634200f2889ef2d00bd70 Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:16:56 +0100 Subject: [PATCH 7/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index c828ad78e72e..b59eed2d4a09 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -110,7 +110,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% 1. In the JSON object, add the following top-level property, replacing `YOUR-SPN` with the correct SPN for your proxy service. ```json copy - "http.proxyKerberosServicePrincipal": "YOUR-SPN"} + {"http.proxyKerberosServicePrincipal": "YOUR-SPN"} ``` From ee466254ade13295fcba1d6f338afb487cd2814f Mon Sep 17 00:00:00 2001 From: Ben Ahmady <32935794+subatoi@users.noreply.github.com> Date: Wed, 2 Jul 2025 10:17:22 +0100 Subject: [PATCH 8/8] Update content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md --- .../configuring-network-settings-for-github-copilot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md index b59eed2d4a09..6c462d8d8ab4 100644 --- a/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md +++ b/content/copilot/how-tos/personal-settings/configuring-network-settings-for-github-copilot.md @@ -110,7 +110,7 @@ If the default SPN isn't correct for your proxy, you can override the SPN in {% 1. In the JSON object, add the following top-level property, replacing `YOUR-SPN` with the correct SPN for your proxy service. ```json copy - {"http.proxyKerberosServicePrincipal": "YOUR-SPN"} + {"http.proxyKerberosServicePrincipal": "YOUR-SPN"} ```