Thread: Search of "community sites" - broken and time to retire?
It appears the checkbox for "Include community sites" has been broken since 900946df0, in April 2018. Given that we have not received AFAIK a single complaint during this time, I would suggest that we simply retire this functionality completely. to simplify a very complex view. Fixing it is easy, but retiring it would also get rid of the need to maintain it. For those who don't even know what it does, it supposedly searches the pages from the jdbc driver and pgadmin4 (and for some *very* historical reasons, only those -- and probably not quite all of those) in addition to the main postgresql.org website. My guess is anybody who wants to search across those is already just using google or duckduckgo ro whatever. -- Magnus Hagander Me: https://www.hagander.net/ Work: https://www.redpill-linpro.com/
> On Feb 19, 2021, at 08:19, Magnus Hagander <magnus@hagander.net> wrote: > Given that we have not received AFAIK a single complaint during this > time, I would suggest that we simply retire this functionality > completely. to simplify a very complex view. Yeah. Either we generalize it for a generic "PostgreSQL community search" (and I think that's probably not something wewant to sign up to maintain), or just retire it. -- -- Christophe Pettus xof@thebuild.com
> On 19 Feb 2021, at 17:19, Magnus Hagander <magnus@hagander.net> wrote: > > It appears the checkbox for "Include community sites" has been broken > since 900946df0, in April 2018. > > Given that we have not received AFAIK a single complaint during this > time, I would suggest that we simply retire this functionality > completely. to simplify a very complex view. Fixing it is easy, but > retiring it would also get rid of the need to maintain it. +1 for retiring it, these sites are as you say already indexed by general purpose search engines and users are highly likely to use those anyways. -- Daniel Gustafsson https://vmware.com/