At the moment, this repo mainly exists for two reasons: To have a GitHub wiki for working group discussions and work. To file issues for private pull requests against the mpi-standard repo.