has renamed the channel from ‘gitpod’ to ‘dev-environments’