CI: Change the push policy of the docker images
-rw-r--r-- 3 .gitignore
-rw-r--r-- 2399 .gitlab-ci.yml
-rw-r--r-- 224 README.txt
drwxr-xr-x - docker
drwxr-xr-x - fuzzing
drwxr-xr-x - gitlab
drwxr-xr-x - jenkins