{"push_id":2916170705,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8359643aebbade67e2c270dc1c29a6a70e2c146","before":"ea80ebe8550aa998b2210720ca97c996e6b113b2","commits":[{"sha":"c8359643aebbade67e2c270dc1c29a6a70e2c146","author":{"name":"Andrew Gitlin","email":"0a89218c5b39de39605923d88b43cbfb7baf281f@umich.edu"},"message":"proof possibility checking","distinct":true,"url":"https://api.github.com/repos/andygitlin/Academic-Games-Player/commits/c8359643aebbade67e2c270dc1c29a6a70e2c146"}]}
{"actor":{"display_login":"andygitlin"}}