{"push_id":575097648,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f45e8a266f72875fbee9da74a875eed294a6f5a5","before":"e042d956cef94c5b36f262f0b372508dbe645541","commits":[{"sha":"f45e8a266f72875fbee9da74a875eed294a6f5a5","author":{"email":"01c61acd77e8537e37aaf12a6b171af32aa4a904@hennr.name","name":"Jan-Hendrik Peters"},"message":"add mandatory check option to cobertura plugin","distinct":true,"url":"https://api.github.com/repos/hennr/marabou/commits/f45e8a266f72875fbee9da74a875eed294a6f5a5"}]}