{"push_id":1000007248,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"74031fe91c226c70361698b7b7a87847cea64527","before":"afd9b26e41018e6bd22956ca2cb372efc34807f2","commits":[{"sha":"74031fe91c226c70361698b7b7a87847cea64527","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Hot fix: Replace only function bodies that have changed","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/74031fe91c226c70361698b7b7a87847cea64527"}]}