Re: RFC: Remove contrib entirely

> FWIW, I don't mind which one we put in core and which one we put out of
> core. But I like Joshua's idea of getting rid of contribs and pushing them
> out as any other extensions.

Hmmm.

I like the contrib directory as a living example of "how to do an
extension" directly available in the source tree. It also allows to test
in-tree that the extension mechanism works. So I think it should be kept
at least with a minimum set of dummy examples for this purpose, even if
all current extensions are moved out.

Also, removing a feature is a regression, and someone is always bound to
complain... What is the real benefit? ISTM that it is a solution that
fixes no important problem. Reaching a consensus about what to move here
or there will consume valuable time that could be spent on more important
tasks... Is it worth it?

Also moving things into postgresql main sources makes pg heavier for all
and benefits only to some, so I think that some careful filtering must be
done bevore moving large contribs there. I guess this is part of the
argumentation.

--
Fabien.