Fix CI improvements
Please review @jschlehofer comments on eb7c4cae
-
Use our own registry if possible -
Verify TLS certificate while cloning a git repo -
Review release.sh
and fix file names
And from 4ca6e822
-
Probably a typo in .gitignore comment header
Edited by Vojtech Myslivec