You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* Spin up a prebuilt dev environment using Gitpod.io [![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/thanos-io/thanos)
We mentioned to spin up a GitPod environment in our contributing doc. However, the gitpod configuration was added 3 years ago and nobody maintains it.
If we still want to maintain GitPod config, we should update GitPod config to be the same as GH codespace. Otherwise, we can remove GitPod config and stop mentioning it in our doc.
Describe alternatives you've considered
(Write your answer here.)
Additional context
(Write your answer here.)
The text was updated successfully, but these errors were encountered:
Is your proposal related to a problem?
thanos/CONTRIBUTING.md
Line 87 in d3a4684
We mentioned to spin up a GitPod environment in our contributing doc. However, the gitpod configuration was added 3 years ago and nobody maintains it.
https://cloud-native.slack.com/archives/CL25937SP/p1700335519924849 It caused some confusion for contributors when trying GitPod.
Describe the solution you'd like
There is GH codespace feature now and we have a better maintained devcontainer configuration https://github.com/thanos-io/thanos/tree/main/.devcontainer.
If we still want to maintain GitPod config, we should update GitPod config to be the same as GH codespace. Otherwise, we can remove GitPod config and stop mentioning it in our doc.
Describe alternatives you've considered
(Write your answer here.)
Additional context
(Write your answer here.)
The text was updated successfully, but these errors were encountered: