Ben Boeckel

> Module interface units use the same extension (.cpp) as module implementation units, non-modules, and non-modular code. I believe it's a good idea to distinguish them with a separate extension...

I'll look at adding `.mpp` extension support to CMake and updating the repository to use the conventions you suggest (though I'll still have a directory using `.cpp` extensions; `build2` can...

Invited. I'd like to get CI up sooner rather than later to ensure things keep working, so doing PRs would still be preferred rather than direct pushes, but direct is...

I've merged CI and added enforcements on the branch that CI must pass before merging can be done (also enforced for adminstrators).

I'd like the `Dockerfile` to be stable, so explicit version numbers would be preferred.

With how modules are changing, I don't forsee every buildsystem/compiler combination being compatible forever. Using explicit versions means that checking out the `docker-$date` tag on this repo will actually get...

> planning to catch up with the latest GCC modules changes I plan on respinning the image today or tomorrow to include some fixes which have been made upstream in...

Yep, will do. Seeing if I can't get GCC doing partitions properly right now.

I'm partial to the "extensions don't matter too much" view because it's all C++ code and the build system can't trust any of it until it scans the code anyways....

It was needed for `build2` support since it requires such an extension. FWIW, it started off as `.cpp` in the beginning :) .