Yuvi

Not at all sure how exactly this would look, but here's some possible ways how this would look like for recipe authors: https://github.com/yuvipanda/staged-recipes/pull/1

@cisaacstern yes 100% on need for JSON Schema - I think JSON Schema is the right way to go :)

I’ll take council member too!

/cc @minrk @willingc @betatim @choldgraf @jzf2101 what do you think?

My plan now is to publish this every day as a JSON (one entry per line) file, with timestamps truncated to per-minute resolution (since that's the only bit of info...

ok, I've done a bunch of work that lets us build images on demand in this repo, and push them to GCR with chartpress. https://github.com/jupyterhub/mybinder.org-deploy/tree/master/images/events-archiver is the beginning of the...

I've code that does this, but stackdriver read limits are pretty low (1 per second across the whole project). I've instead set up exports from stackdriver to cloud storage (https://cloud.google.com/logging/docs/export/using_exported_logs#gcs-overview),...

With a large number of PRs ending in https://github.com/jupyterhub/mybinder.org-deploy/pull/817, most of this is done! https://archive.analytics.staging.mybinder.org/ exists for staging, and shortly https://archive.analytics.mybinder.org/ will exist for prod! Things left to do: -...

Yep, lotta docs to be written. Pandas.load_json does work with these files I think! If you wanna read it in plain Python you do have to loop over every line....

`pandas.read_json(url, lines=True)` does seem to have problems with the nesting, however. I'm gonna de-nest the structure.