On 3/8/23 23:07, Glen Fernandes via Boost wrote:

We have (very) few cases where within a repository we have more than one library inside a repository. One example is boostorg/functional whose meta/libraries.json has:

- functional - functional/factory - functional/forward - functional/overloaded_function

See: https://github.com/boostorg/functional/blob/master/meta/libraries.json

What do we think about having separate repositories for the last three above? e.g. The second one would be boostorg/functional_factory

Some might be better collapsed into the first library (i.e. become part of just "functional").

We haven't been allowing this for newer libraries, but it would be nice to remove it from these few existing cases too.

Ultimately meta/libraries.json in each library repository would have just one library entry.

Why not just merge them all into Functional? Their headers are already merged, only docs and tests need to be merged.