This predates (and inspires) the JetBrains dataset I've been using: https://github.com/activityhistory/jupyter_on_github