{"push_id":658005241,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4177049b904fce436877d0fcec7ec919784eedb4","before":"e07df43660ed94ce1a379b8395c0006babc0787b","commits":[{"sha":"6352ca2852490ebed2853d09517c611442ac5548","author":{"email":"46952c1342d5ce1a4f5689855eda3c9064bca8f6@gmail.com","name":"Alex Dunn"},"message":"proof-general: use EmacsRequirement","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/6352ca2852490ebed2853d09517c611442ac5548"},{"sha":"4177049b904fce436877d0fcec7ec919784eedb4","author":{"email":"aa7ada780dbf2380b352a70aaa93ceb8b17028b0@googlegroups.com","name":"BrewTestBot"},"message":"proof-general: add 4.2 bottle.","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/4177049b904fce436877d0fcec7ec919784eedb4"}]}