Re: [boost] Library list generated from meta/libraries.json files

Daniel James wrote:

If a pull request isn't accepted, then that suggests I'd have to continue maintaining the metadata myself, in which case I'd rather keep it in the website.

Well, yes, I suppose. I hadn't thought of that. On the other hand, unmaintained libraries aren't likely to change, so the metadata would probably not be that much of a maintenance burden; and if you're going to generate libraries.htm and maintainers.txt from the json files, the latter would need to be present.