Zulip Chat Archive

Stream: general

Topic: gitpod quota limit removal


Yaël Dillies (Oct 28 2021 at 16:17):

Sorry, I'm lost. Which of the 4 options is the correct one? https://www.gitpod.io/contact

Eric Wieser (Oct 28 2021 at 16:19):

Beats me

Eric Wieser (Oct 28 2021 at 16:21):

either sales or support, probably

Riccardo Brasca (Oct 29 2021 at 12:02):

@Yaël Dillies I tried this and they answered (affirmatively!) in less than two hours, so I am sure you will get it.

Yaël Dillies (Oct 29 2021 at 12:34):

Eh, I sent a message yesterday and still no news.

Riccardo Brasca (Oct 29 2021 at 12:36):

:thinking:
I selected "support" and wrote a brief message saying that I contribute to mathlib.

Yaël Dillies (Oct 29 2021 at 12:37):

I too :sad:

Yaël Dillies (Oct 29 2021 at 12:38):

I will just wait a bit longer.


Last updated: Dec 20 2023 at 11:08 UTC