{"push_id":2443141355,"size":1,"distinct_size":1,"ref":"refs/heads/spark","head":"4ff78f94b149ba5bb3f22d9b66fad39bbb0ab10f","before":"1b253946b9346a143e6285e50914010d14e24145","commits":[{"sha":"4ff78f94b149ba5bb3f22d9b66fad39bbb0ab10f","author":{"name":"Jean-Christophe Dubois","email":"6a70c781aa333bb001a734e8632eddadd4d3ff2c@tribudubois.net"},"message":"Little imporvement to the proof code.\n\nSigned-off-by: Jean-Christophe Dubois <jcd@tribudubois.net>","distinct":true,"url":"https://api.github.com/repos/jcdubois/moth/commits/4ff78f94b149ba5bb3f22d9b66fad39bbb0ab10f"}]}
{"actor":{"display_login":"jcdubois"}}