{"push_id":852714230,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"209517ee2b8e0a35619f0a56b8e5e5f10a1f403c","before":"7a47a22295a6d7dbe42df9033a853618988488d6","commits":[{"sha":"209517ee2b8e0a35619f0a56b8e5e5f10a1f403c","author":{"email":"6ce3f3127f4f74d215c6723b2a3c53f28d5d49ad@mines-nantes.fr","name":"cprudhom"},"message":"Simplify IntEvtType + update Propagator#getPropagationConditions()","distinct":true,"url":"https://api.github.com/repos/chocoteam/choco3/commits/209517ee2b8e0a35619f0a56b8e5e5f10a1f403c"}]}