Gitpod: Question: is it possible to get metrics?

[skinny85]

Hey all,

we use Gitpod in the AWS CDK project, and we couldn't be happier with it. Thanks for the great product.

We want to gather some data on how effective is using Gitpod for our contributors (perhaps to justify transitioning to a paid plan with Gitpod). To that end, we're looking for metrics on how many people are using it.

Is it possible to get those sort of metrics? Probably something simple like the amount of Gitpod workspaces based on the https://github.com/aws/aws-cdk repository (including forks) would be a great start.

Thanks, and continue being awesome.

Adam

[Kreyren]

cc @jankeromnes

[Kreyren]

afaik TypeFox can't provide you who exactly is using gitpod on this repository for EU citizens since that would require their consent for GDPR, but sharing how much people are using the repository on gitpod shoudn't be a problem. O.o

[skinny85]

Oh yeah, we're definitely not interested in anybody's identity. We would just love to see the raw numbers if that's possible 🙂.

[jankeromnes]

Hey @skinny85,

we use Gitpod in the AWS CDK project, and we couldn't be happier with it. Thanks for the great product.

That's awesome! Thanks for the praise, we're stoked that you find Gitpod useful. 👍

Is it possible to get those sort of metrics? Probably something simple like the amount of Gitpod workspaces based on the https://github.com/aws/aws-cdk repository (including forks) would be a great start.

Sure. I just checked the Gitpod usage data for https://github.com/aws/aws-cdk and its direct forks, and here is what I got (as of 2020-06-09 09:00 UTC):

+-------+------------+-------+
| users | workspaces | hours |
+-------+------------+-------+
|    70 |        112 |   131 |
+-------+------------+-------+

So, barring any bugs in my queries, it would seem that 70 users created 112 AWS CDK Gitpod workspaces, and spent a total of 131 hours developing / studying / testing CDK.

[jankeromnes]

Requested metrics have been provided. Please feel free to request more metrics any time. 👍

[skinny85]

Thank you so much @jankeromnes , that is exactly the data that we wanted to see!

Is there a way for us to regularly get those numbers, so we can see whether our actions result in any changes, without bugging you each time? Once a month would be perfect for us.

Thanks,
Adam