Anonymous cloning is more difficult with git@ (it requires per user SSH keys), which makes CI automation more difficult. This commit reverts to using https:// as it was before #112