{"push_id":996773313,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"dbd569186701156293e55187d85f59a32cdd5bae","before":"c2bce72f9206dec33a45923210dcc8f157a8f59d","commits":[{"sha":"a8592ddf7a868edf6295cd3c0a327e331ca3d353","author":{"email":"e28ef9a64b823bf8888c9db2ed44685c3ff3bdd0@gmail.com","name":"Alexandre Rademaker"},"message":"eprover 1.8 to 1.9","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/a8592ddf7a868edf6295cd3c0a327e331ca3d353"},{"sha":"3b57b44518041e030f56bad8302a3502eac64517","author":{"email":"e28ef9a64b823bf8888c9db2ed44685c3ff3bdd0@gmail.com","name":"Alexandre Rademaker"},"message":"ajusting the project new homepage","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/3b57b44518041e030f56bad8302a3502eac64517"},{"sha":"dbd569186701156293e55187d85f59a32cdd5bae","author":{"email":"aa7ada780dbf2380b352a70aaa93ceb8b17028b0@googlegroups.com","name":"BrewTestBot"},"message":"eprover: update 1.9 bottle.","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/dbd569186701156293e55187d85f59a32cdd5bae"}]}