CircleCI: Don't ignore gitlab/.* branches
[ghc.git] / .circleci /
drwxr-xr-x   ..
-rw-r--r-- 9066 config.yml
-rwxr-xr-x 409 fetch-submodules.sh
drwxr-xr-x - images
-rwxr-xr-x 2019 prepare-system.sh
-rwxr-xr-x 2178 push-test-metrics.sh