{"push_id":1290918016,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bfbba3079dde77ac86236a9718f91e0e1e10ab61","before":"d9c7022cf4bd5656403a7a1ab25339f2100ecadb","commits":[{"sha":"bfbba3079dde77ac86236a9718f91e0e1e10ab61","author":{"name":"Mikaël Mayer","email":"384c3603de0c6df29bc6592be8ea5d3af17914ef@epfl.ch"},"message":"Fixed the DefaultTactic (forgot lambda in pc)","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/bfbba3079dde77ac86236a9718f91e0e1e10ab61"}]}
{"actor":{"display_login":"MikaelMayer"}}