Gitpod sunset

Stream: general

[Yaël Dillies]

Also note that Gitpod standard is being sunset on the 1st of April (sadly, doesn't seem like a joke), so we'll have to find a way to selfhost gitpod

[Eric Wieser]

I'm a little worried that the writing on the wall is that Gitpod (as we know it) is going away in about a year

[Eric Wieser]

It seems they're moving to a "host on servers you got from someone else" model

[Notification Bot]

4 messages were moved here from #general > Access to gitpod or codespaces by Floris van Doorn.

[Floris van Doorn]

I rarely use Gitpod myself, but I guess we currently make it very easy to open a PR in Gitpod for reviewing...

[Floris van Doorn]

Could this functionality be taken over by Github codespaces? Does codespaces have more strict limits?

[Floris van Doorn]

Self-hosting sounds quite time consuming. I think the costs wouldn't be a big problem, but the time it costs to set up the servers/maintain them/keep it updated sounds unpleasant (but I haven't seen Gitpod's announcement or plans yet).

[Junyan Xu]

If hosted on the olean servers we could make get cache instant. (Or we just need to keep a local copy of the cache on the Gitpod machines.) Gitpod is already faster than downloading to my local machine when it comes to getting the cache.

[Yaël Dillies]

I like this idea! Downloading cache is still taking too long to my taste

[Shreyas Srinivas]

I find the information on gitpod's website very confusing

[Shreyas Srinivas]

Is it really a sunset of centrally hosted gitpod or are they just switching to a new pricing plan with self hosting options

[Junyan Xu]

Yaël Dillies said:

I like this idea! Downloading cache is still taking too long to my taste

If you're just golfing a lemma (without many dependencies within the PR) it can be faster to use the web editor. That's the advantage of local cache ...

[Yaël Dillies]

Sadly, I doubt that applies very often for me