{"push_id":3030396724,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"eb5b7159d6d68828fba18af80bf8262cfe4fa097","before":"88542dfe0932ae93ac38050ea669ceba4f251719","commits":[{"sha":"7d32eaeccc0c97049a384b52bc27374426d31287","author":{"name":"Lorin Hochstein","email":"ce8cc507d2b2bcf7c2517fc24fae453028a98ee8@netflix.com"},"message":"add theorem","distinct":true,"url":"https://api.github.com/repos/lorin/tla-prophecy/commits/7d32eaeccc0c97049a384b52bc27374426d31287"},{"sha":"eb5b7159d6d68828fba18af80bf8262cfe4fa097","author":{"name":"Lorin Hochstein","email":"ce8cc507d2b2bcf7c2517fc24fae453028a98ee8@netflix.com"},"message":"readme","distinct":true,"url":"https://api.github.com/repos/lorin/tla-prophecy/commits/eb5b7159d6d68828fba18af80bf8262cfe4fa097"}]}
{"actor":{"display_login":"lorin"}}