At the moment, this repo mainly exists for two reasons:

1. To have a GitHub wiki for working group discussions and work.
2. To file issues for private pull requests against the mpi-standard repo.