{"push_id":889917922,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"faa309f9867026ce087470fffe5eb72fad5be82e","before":"6dd77ae94df117db82221889f728df59532097f4","commits":[{"sha":"faa309f9867026ce087470fffe5eb72fad5be82e","author":{"email":"6698b5332605c972d3bd7463ae0a223f0f713c9b@gmail.com","name":"Harsh Kothari"},"message":"final data push","distinct":true,"url":"https://api.github.com/repos/harshkothari410/oeis-graph-mining/commits/faa309f9867026ce087470fffe5eb72fad5be82e"}]}