Deprecate Gitpod. #116

New issue

Closed

opened 2025-09-30 12:59:10 +00:00 by mahesh-panchal · 0 comments

mahesh-panchal commented

2025-09-30 12:59:10 +00:00

(Migrated from github.com)

Add a comment to the Gitpod blog post that the service is no longer available as it was.
Remove the Gitpod environment.
Add Pixi env.
Add devcontainer environment, that enables the pixi env.

- Add a comment to the Gitpod blog post that the service is no longer available as it was. - Remove the Gitpod environment. - Add Pixi env. - Add devcontainer environment, that enables the pixi env.