Documentation/git-tools: retire manually-maintained list
commit1c601af25a1d182420da11d20bc8862823e47012
authorEric Sunshine <sunshine@sunshineco.com>
Tue, 28 Jul 2015 20:06:15 +0000 (28 16:06 -0400)
committerJunio C Hamano <gitster@pobox.com>
Tue, 28 Jul 2015 20:21:59 +0000 (28 13:21 -0700)
tree1346c44f3befecd639dba83d2f141c56e903e0d6
parentdd7961c0fba87a445c4807d089594a82a1a323e9
Documentation/git-tools: retire manually-maintained list

When Git was young, people looking for third-party Git-related tools
came to the Git project itself to find them, so it made sense to
maintain a list of tools here. These days, however, search engines fill
that role much more efficiently, so retire the manually-maintained
list.

The list of front-ends and tools on the Git wiki rates perhaps a distant
second to search engines, and may still have value, so retain a
reference to it.

Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-tools.txt