Git is distributed, the repository can be hosted concurrently at many places.

and the primary place they chose is owned by Microsoft

	▲	saubeidl 3 hours ago \| parent [-]
		I would strongly assume the primary place is on some French government server somewhere and this is just the public mirror.