2021-04-17 20:07:23 +05:30
|
|
|
---
|
|
|
|
|
key_path: counts.user_preferences_user_gitpod_enabled
|
2021-09-04 01:27:46 +05:30
|
|
|
description: Count of users with the GitPod integration enabled
|
2021-04-17 20:07:23 +05:30
|
|
|
product_section: dev
|
|
|
|
|
product_stage: create
|
|
|
|
|
product_group: group::editor
|
2021-09-04 01:27:46 +05:30
|
|
|
product_category: web_ide
|
2021-04-17 20:07:23 +05:30
|
|
|
value_type: number
|
|
|
|
|
status: data_available
|
|
|
|
|
time_frame: all
|
|
|
|
|
data_source: database
|
|
|
|
|
distribution:
|
|
|
|
|
- ce
|
|
|
|
|
- ee
|
|
|
|
|
tier:
|
|
|
|
|
- free
|
|
|
|
|
- premium
|
|
|
|
|
- ultimate
|
