Tom Lane wrote:
> Magnus Hagander <magnus@hagander.net> writes:
>> Currently the default search on the website includes only the website,
>> and there is a checkbox that lets you include community sites. What do
>> people think about changing it so we include community sites by default?
>
>> (community sites is everything on pgFoundry + pgadmin + jdbc +
>> phppgadmin, and possibly one or two more that I can't remember right now)
>
> Seems reasonable to me, since very possibly people are searching for one
> of those projects.
Done.
//Magnus