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.
Dear all, On Thursday, 4th September 2025, we will test the new disaster recovery environment. A disaster recovery test will take place between 4:00 PM and 6:00 PM CEST. Please refrain from making any changes, as they will be lost. Once testing is complete, the production environment will be restored. Thank you for your understanding.
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.