ERROR

Could not resolve host: git.wikimedia.org

in: https://git.wikimedia.org/commitdiff/mediawiki%2Fcore/a3a34ebeecb0eac8920c91098e1e360b77422a91

to: https://git.wikimedia.org/commitdiff/mediawiki%2Fcore/a3a34ebeecb0eac8920c91098e1e360b77422a91