{"push_id":2461347229,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"6d6e8953e88bc1cea312cc13694f33ac362c75ce","before":"752b1229da209783bd870a5ffb91a8d3c3d83161","commits":[{"sha":"6d6e8953e88bc1cea312cc13694f33ac362c75ce","author":{"name":"Jeremy Avigad","email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu"},"message":"Update Thu Apr  5 16:40:45 EDT 2018","distinct":true,"url":"https://api.github.com/repos/avigad/logic_and_proof/commits/6d6e8953e88bc1cea312cc13694f33ac362c75ce"}]}
{"actor":{"display_login":"avigad"}}