Is there a possibility to access the integration git (git://git.moodle.org/integration.git) via https or http?
I am behind a firewall and cannot access the git port.
When I try to access the integration git via https I get: 'https://git.moodle.org/integration.git/': Unknown SSL protocol error in connection to git.moodle.org:443
Accessing github via https works though. But my understanding is that this repo is not available on github.