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