{"push_id":2400803518,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dfa1cc7af2f1d29c6c3a9c843eb7e45736df2b0d","before":"eafe709efadfc9146779ba2296ccb7bbd9957a65","commits":[{"sha":"dfa1cc7af2f1d29c6c3a9c843eb7e45736df2b0d","author":{"name":"Xianglong Ni","email":"f25102b0b14dd7c9e7402166b1dca499dcf407c7@mit.edu"},"message":"slight change to proof of prop 4.2","distinct":true,"url":"https://api.github.com/repos/xlni/821-projects/commits/dfa1cc7af2f1d29c6c3a9c843eb7e45736df2b0d"}]}
{"actor":{"display_login":"xlni"}}