{"push_id":1409684962,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"4fc91e132ca2b61dc4cfb8ab77428f91b31be2aa","before":"77327602238fceec691b8d5cd6512fddab0d523c","commits":[{"sha":"4fc91e132ca2b61dc4cfb8ab77428f91b31be2aa","author":{"name":"Jeremy Avigad","email":"e13e7bac66ba6b2b7fc9cbd3c8db7d6eedc7d99d@cmu.edu"},"message":"Update Thu Nov 17 21:10:30 EST 2016","distinct":true,"url":"https://api.github.com/repos/avigad/logic_and_proof/commits/4fc91e132ca2b61dc4cfb8ab77428f91b31be2aa"}]}
{"actor":{"display_login":"avigad"}}