{"push_id":900405098,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"2b162631f2eb6375ffbd67729a983550529ba444","before":"88ffcc99151ed061ea6860961e090cff99b38708","commits":[{"sha":"2b162631f2eb6375ffbd67729a983550529ba444","author":{"email":"4252883e3d6704dff11c5af0288d8217de7ccd88@gmail.com","name":"schaef"},"message":"minor fixes and a bit of debug printing","distinct":true,"url":"https://api.github.com/repos/jayhorn/jayhorn/commits/2b162631f2eb6375ffbd67729a983550529ba444"}]}