Question about pullsing source of a specific version using git