git: Changed protocol for tools to HTTPS
The SRC_URI of the various tools are still using SSH. With the opening of our repositories, SSH isn't available for checkout anymore. Because of this, we changed the protocol to HTTPS instead.
The SRC_URI of the various tools are still using SSH. With the opening of our repositories, SSH isn't available for checkout anymore. Because of this, we changed the protocol to HTTPS instead.