4 ms·

Notice that the traceroute is from github to the user. I don't think we can assume users have port 443 open.