Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

telemetry: Insight into gitpod adoption #9365

Merged
merged 3 commits into from
Nov 4, 2023
Merged

Conversation

Josh-Walker-GM
Copy link
Collaborator

Changes

  1. Checks for environment variables that starts with GITPOD_ and records whether any are found. This should allow us to gain an insight into gitpod usage. I guess there could be false positive if non-gitpod machines have env vars with GITPOD_ but we can likely assume this to be highly unlikely?

@Josh-Walker-GM Josh-Walker-GM added the release:feature This PR introduces a new feature label Oct 31, 2023
@Josh-Walker-GM Josh-Walker-GM added this to the next-release-patch milestone Oct 31, 2023
@Josh-Walker-GM Josh-Walker-GM self-assigned this Oct 31, 2023
Copy link
Contributor

@thedavidprice thedavidprice left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Josh-Walker-GM it's very reasonable + helpful to add this metric. And agree with your method for determining if the dev env is GitPod — simple and efficient.

My quick reaction is that we should make this more extensible because we won't just want to know if it's GitPod (e.g. Codespaces). What if:

  • metric is "Dev Environment", devEnv for short
  • I'm fine with a default like "unknown"; we don't need to check for local dev env...
  • we can add more checks, i.e. "is Codespaces?", when we add support / starter repos

What do you think?

@Josh-Walker-GM Josh-Walker-GM enabled auto-merge (squash) November 4, 2023 22:35
@Josh-Walker-GM Josh-Walker-GM merged commit 328bec6 into main Nov 4, 2023
33 checks passed
@Josh-Walker-GM Josh-Walker-GM deleted the jgmw-telemetry/gitpod branch November 4, 2023 23:12
jtoar pushed a commit that referenced this pull request Nov 6, 2023
**Changes**
1. Checks for environment variables that starts with `GITPOD_` and
records whether any are found. This should allow us to gain an insight
into gitpod usage. I guess there could be false positive if non-gitpod
machines have env vars with `GITPOD_` but we can likely assume this to
be highly unlikely?
jtoar pushed a commit that referenced this pull request Nov 8, 2023
**Changes**
1. Checks for environment variables that starts with `GITPOD_` and
records whether any are found. This should allow us to gain an insight
into gitpod usage. I guess there could be false positive if non-gitpod
machines have env vars with `GITPOD_` but we can likely assume this to
be highly unlikely?
@jtoar jtoar modified the milestones: next-release-patch, v6.3.3 Nov 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release:feature This PR introduces a new feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants