From 5cd04a72f8da567fd4c0d50bb4a064213bf5fdb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Fishman?= <nicourifishman@gmail.com>
Date: Sat, 17 Jan 2026 12:46:13 -0300
Subject: [PATCH] fix(setup): update GitHub connectivity check to use HTTPS
 port 443

This commit modifies the connectivity check in the setup script to use port 443 instead of port 80 for GitHub, ensuring a more secure connection. The change enhances the script's reliability in verifying internet connectivity before proceeding with further setup steps.
---
 scripts/setup.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/setup.ps1 b/scripts/setup.ps1
index 49d56254a..95500e486 100644
--- a/scripts/setup.ps1
+++ b/scripts/setup.ps1
@@ -110,7 +110,7 @@ https://learn.microsoft.com/windows/package-manager/winget/
 
     # Check connectivity to GitHub
     $ProgressPreference = 'SilentlyContinue'
-    if (-not ((Test-NetConnection -ComputerName 'github.com' -Port 80).TcpTestSucceeded)) {
+    if (-not ((Test-NetConnection -ComputerName 'github.com' -Port 443 -WarningAction SilentlyContinue).TcpTestSucceeded)) {
         Exit-WithError "Can't connect to github, check your internet connection and run this script again"
     }
     $ProgressPreference = 'Continue'