{"push_id":2892098051,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4f9304fbf51654f62a0ecf7f895b5166108068b6","before":"821b4bd6510df5d11d97259fe838db9073a6be28","commits":[{"sha":"74734703b23bfa3bbb3f8bd6008b4c419c98b148","author":{"name":"Rodrigo Raya","email":"306bf2f529d87987e5352749fd55e8fd296e669f@correo.ugr.es"},"message":"Transforming while to do-while with pre","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/74734703b23bfa3bbb3f8bd6008b4c419c98b148"},{"sha":"4f9304fbf51654f62a0ecf7f895b5166108068b6","author":{"name":"Nicolas Voirol","email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com"},"message":"Some small fixes in do-while transformation","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/4f9304fbf51654f62a0ecf7f895b5166108068b6"}]}
{"actor":{"display_login":"samarion"}}