Re: Updated handling of the git repositories

Oops - and now with some real content ;-) - sorry...

Hi Thorsten,

On 2010-08-29 at 19:12 +0200, Thorsten Behrens wrote:

> Attached is a patch that unconditionally makes use of
> git-new-workdir - I did not push that yet, as I may be yet unaware
> of nasty side-effects when using git-new-workdir. Still, I consider
> that pretty darn useful.

Looks useful to me too, thank you! :-)  Actually, I think that with the
git-new-workdir in place, the fetching during the ./download is not
useful any more (and even less when you don't use g-n-w) because now it
is controlled using 'bin/g pull -r', so I'd kill that from there for
good.

That way, I'd just hardcode the git-new-workdir into download.in (I
mean, test for the leading '/' there, and decide the action), so that it
can be announced appropriately, does not have to be brought in through
autoconf etc.

Thank you,
Kendy