From: Jonathan Nieder <jrnieder@gmail.com>
Date: Tue, 31 Aug 2010 21:23:24 GMT
Subject: Re: [RFD PATCH] Documentation: remove git-tools
Message-ID: <20100831212324.GG5911@burratino>
In-Reply-To: <ef9f5918c0c5254460c7ca51bd9c130ece23f4ab.1283283511.git.git@drmicha.warpmail.net>

Michael J Gruber wrote:

> git-tools.txt is outdated

Yeah.  I think it has a nice style, but it is not very useful any more.

Maybe some day someone will want to revive it by automatically freezing
the list from the wiki now and then (or similar).

> remove it from the tree.

For what it's worth,
Acked-by: Jonathan Nieder <jrnieder@gmail.com>