Replace git protocol with ssh

[ianchen-tw]

According to Github's blog post, they had disabled unencrypted Git protocol since March 15, 2022. This PR converts the old git protocol to the ssh one.

References:

• https://github.blog/2021-09-01-improving-git-protocol-security-github/
• https://github.blog/2021-09-01-improving-git-protocol-security-github/#git-protocol-troubleshooting
• https://docs.github.com/en/get-started/getting-started-with-git/managing-remote-repositories#changing-a-remote-repositorys-url