The target to download and install a prebuilt version of Git is quite
inflexible: it only provides released versions, and more importantly it
does not allow us to apply custom patches. To the best of my knowledge,
it's also not used by anybody, so let's drop it.