This commit is contained in:
Wu Wenbin 2026-06-15 00:52:46 +02:00 committed by GitHub
commit 078b850acd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -157,6 +157,11 @@ else
fi
fi
# Normalize GitHub's SSH gateway hostname back to github.com for URL generation.
# ssh.github.com is used when connecting via SSH over port 443 (GitHub's SSH-over-HTTPS gateway),
# but the generated URL should still point to github.com.
domain=${domain//ssh\.github\.com/github.com}
# Trim "/" from beginning of URL; "/" and ".git" from end of URL
urlpath=${urlpath#/} urlpath=${urlpath%/} urlpath=${urlpath%.git}