{"push_id":1243883912,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a46e3ef6a9536589831fca89418f02097a9671fa","before":"14c7b9655a812275345630f8b2ed52ab4c662bb5","commits":[{"sha":"a46e3ef6a9536589831fca89418f02097a9671fa","author":{"name":"Imogen Morris","email":"99765a0ff5a586e919be2056363ec38bb579575e@gmail.com"},"message":"Unfinished (no errors)","distinct":true,"url":"https://api.github.com/repos/ImogenMorris/theorem-proving/commits/a46e3ef6a9536589831fca89418f02097a9671fa"}]}
{"actor":{"display_login":"ImogenMorris"}}