docker: allow to specify the branch to pull for various repos
-rw-r--r-- 3 .gitignore
-rw-r--r-- 5124 .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