Re: [prometheus-developers] Re: Adding Gitpod environments to prometheus/prometheus (as CI checks and for people to get started)

Hello, While getting new contributors is fundamental for any open source projects, I would be on the side to explore other possibilities than this one. Let me explain my concerns. First of all, that is an extra tool. I am not a fan on adding extra tools on top of GitHub, like gerrithub or other

[prometheus-developers] Re: Adding Gitpod environments to prometheus/prometheus (as CI checks and for people to get started)

+CC Sven from Gitpod On Sun, Jul 26, 2020 at 2:40 PM Julius Volz wrote: > Hi, > > I got to know the people from Gitpod.io (https://www.gitpod.io/), and > when I learned about their capability to not only use Gitpod as a regular > online web-based dev environment, but to create ad-hoc

[prometheus-developers] Adding Gitpod environments to prometheus/prometheus (as CI checks and for people to get started)

Hi, I got to know the people from Gitpod.io (https://www.gitpod.io/), and when I learned about their capability to not only use Gitpod as a regular online web-based dev environment, but to create ad-hoc environments based off PR branches as CI checks, I thought it would be a really neat thing to