ERROR

Could not resolve host: git.wikimedia.org

in: https://git.wikimedia.org/commitdiff/mediawiki/core%2Ffc5bcf1147f91fccb946a7126461a33d8cc39762

to: https://git.wikimedia.org/commitdiff/mediawiki/core%2Ffc5bcf1147f91fccb946a7126461a33d8cc39762