it was originally meant to publish stuff on RTD. That aspect can be deprecated but I think the repo is useful a s a dump of information (e.g., presentations, etc) and potentially other stuff. Maybe it's also where we drop old content/docs that's being moved out of other repos
it was originally meant to publish stuff on RTD. That aspect can be deprecated but I think the repo is useful a s a dump of information (e.g., presentations, etc) and potentially other stuff. Maybe it's also where we drop old content/docs that's being moved out of other repos