discussions

This is the repository associated with github Discussions (see top bar tab). We will also accept invite requests here.

To get an invite and join the discussion raise an issue in the discussion repository.