Use Git server (mirror) to avoid fetching problems