Forward issues and merge requests for the core modules and infrastructure to the dune-bugs mailing list
In order to avoid shutting people out from development, we should forward all bugs from the core modules and from the infrastructure group to dune-bugs@dune-project.org.