{"push_id":1036076285,"size":1,"distinct_size":1,"ref":"refs/heads/LDVExplicitPredicateExperiments","head":"a301d666b861197ce037bd8ff6ec6d2dac0dd8b0","before":"2118df1046c553c1638118f375c541880985de50","commits":[{"sha":"a301d666b861197ce037bd8ff6ec6d2dac0dd8b0","author":{"email":"6d0feb7e07c84544c1d128160adee64feb886e27@gmail.com","name":"Romanov Alexey"},"message":"option useExplicit... splitted into two","distinct":true,"url":"https://api.github.com/repos/mutilin/cpachecker/commits/a301d666b861197ce037bd8ff6ec6d2dac0dd8b0"}]}