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