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