Point repositories to Gitlab
The QA tools and release-tools repositories have been migrated to Gitlab. We should point there. As it provides an https protocol, it will ease things for the general public having some ports firewalled.
The QA tools and release-tools repositories have been migrated to Gitlab. We should point there. As it provides an https protocol, it will ease things for the general public having some ports firewalled.