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.
regards, tom lane
