How many millions were raised to build Git?