set the channel topic: Everything related to dev-environments, such as GitHub Codespaces, gitpod, or even local. We do like the devcontainer approach a lot