Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Integrate metrics #1562
This pull request adds the ability to send 3 types of usage metrics from the GitHub package to GitHub's internal analytics pipeline:
events (for whatever we want)
Metrics to track
We came up with these during the editor tools mini summit, and i'm totally open to revisiting this list now.
smashwilson left a comment
Not that I can think of!
We'll have to check that it works properly with snapshotting... it should be fine because the global reporter state isn't depending on anything that can't be required in a snapshot, but it's always good to verify.
Haha, I'm sure there are a bunch
For our initial ship I'm most curious to see git and GitHub tab opening counts... we suspect we have discoverability issues and those would be our best indications of that, and the best way we'd know if we improve.