Re: gnulib unnecessarily enforces git as requirement

[Benjamin Lindner]

> git IS used by the bootstrap script except for the one case where you
> specifically ask that it not be used.  So, the best thing might be to
> enhance the bootstrap pre-requisite checks to see if --gnulib-srcdir is
> in effect and use that as a reason to skip the git prereq check.

That sounds simple & reasonable. Would patches be considered?

>
> It's been discussed on and off for nearly a year now, but patches are
> slow in coming, so it apparently hasn't tickled anyone's itch enough to
> make it to the top of a todo list.
>

Well, I can workaround by removing the prerequisite check, this works
for me, but it's IMO not really a clean solution.