Merge branch 'schneider/ci-https-ignore' into 'master'

hack(ci): Disable cert check for now

See merge request !492

.gitlab-ci.yml

@@ -47,7 +47,7 @@ lint:
         # If this starts failing for any reason, just remove this curl ping.
         - curl --fail https://annoyatron-prod.q3k.org/ping/mr?mr=${CI_MERGE_REQUEST_IID}
         - git remote rm card10 || true # old gitlab runners might have this remote.
-        - git fetch https://git.card10.badge.events.ccc.de/card10/firmware.git master:card10/master
+        - git -c http.sslVerify=false fetch https://git.card10.badge.events.ccc.de/card10/firmware.git master:card10/master
         - git merge-base card10/master HEAD || ( echo "Your change needs to be rebased against current master."; exit 1; )
         - git diff --name-only --diff-filter=d card10/master...HEAD | xargs tools/code-style.sh
         - git diff --exit-code