[#61615124] Use HTTPS instead of SSH with Git

SSH is unnecessary as this repo is publicly readable; using HTTPS also
avoids the need to manage public SSH keys for GitHub.