Skip to content

Maintenance: remove Gitpod-specific dev files #3346

Closed
@dreamorosi

Description

@dreamorosi

Summary

Gitpod now supports the devcontainer.json specification, which means we no longer need to maintain two separate configurations for Gitpod & GitHub CodeSpaces.

We should remove the .gitpod.yml & .gitpod.Dockerfile files.

Why is this needed?

So that we can streamline our maintenance burden.

Which area does this relate to?

Other

Solution

No response

Acknowledgment

Future readers

Please react with 👍 and your use case to help us understand customer demand.

Metadata

Metadata

Assignees

Labels

completedThis item is complete and has been merged/shippedinternalPRs that introduce changes in governance, tech debt and chores (linting setup, baseline, etc.)

Type

No type

Projects

Status

Shipped

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions