GHTorrent: GitHub's data from a firehose
the application / json media type for javascript object notation ( json ) .