{"push_id":758973569,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"f489ae262b497089b1fe03493452d790b623d178","before":"1cdf6a66dd68740a887e8f59f4088aea5be73354","commits":[{"sha":"f489ae262b497089b1fe03493452d790b623d178","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"allow failures for 7.10.2 because it's not yet supported by Travis","distinct":true,"url":"https://api.github.com/repos/gsdlab/clafer/commits/f489ae262b497089b1fe03493452d790b623d178"}]}