{"push_id":914633185,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b47f8df0615119911296f8dbed01e90e3dc0131e","before":"79bb4433fac588f1a18a7acd2cef182c9b195744","commits":[{"sha":"f10916bc9964239f15f76e5e3fb204ece033a60a","author":{"email":"85ab49b4e9c29de959aab7826a52ca5bba7b5234@gmail.com","name":"Erlend Hamberg"},"message":"Update Idris to 0.9.20.2","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/f10916bc9964239f15f76e5e3fb204ece033a60a"},{"sha":"b47f8df0615119911296f8dbed01e90e3dc0131e","author":{"email":"aa7ada780dbf2380b352a70aaa93ceb8b17028b0@googlegroups.com","name":"BrewTestBot"},"message":"idris: update 0.9.20.2 bottle.","distinct":true,"url":"https://api.github.com/repos/BrewTestBot/homebrew/commits/b47f8df0615119911296f8dbed01e90e3dc0131e"}]}