I'd like to capture more data about our types of users and what they are doing in the Pull Requests extension.

User data

• How many users are GitHub users compared to GitHub Enterprise users?
  • Is it possible to know what version of Enterprise customers are on?

Pull Request data

• How many times are pull requests are merged? closed?
• How many times is the local pull request branch deleted?
• How many times an inline/review comment is added?

Interaction with activity bar
One other thing that would be interesting to know is how many times users click the GitHub icon on the activity bar.

Any others that you'd like to see?