Moritz Kiefer 53f25599d0 Send session ping telemetry messages (#3997) ... * Send session ping telemetry messages This PR adds telemetry information that is sent regularly (every 5 minutes) while users are active (they’ve opened, closed or changed a file). This allows us to track how long user sessions are. This PR does not include any additional information in the session ping but we plan to add more in the future. The ping messages can be found in big query by filtering for `jsonPayload.type = "session_ping"`. CHANGELOG_BEGIN CHANGELOG_END * add copyright header		2020-01-09 14:34:23 +00:00
..
Damlc	damldocs: Add --exclude-instances option and exclude HasField instance docs from stdlib. (#3962)	2020-01-07 15:32:46 +00:00
Args.hs	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
Damlc.hs	Send session ping telemetry messages (#3997)	2020-01-09 14:34:23 +00:00
Options.hs	update copyright notices to 2020 (#3939)	2020-01-02 21:21:13 +01:00
Output.hs	Bump ghcide (#3943)	2020-01-04 07:51:51 +01:00