{"push_id":2924111357,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ccea607de1e357c68d55b0b4faf49a31c03d7bc4","before":"2ed4adfac785aa5dc83d1b86d19c58e0ea747549","commits":[{"sha":"ccea607de1e357c68d55b0b4faf49a31c03d7bc4","author":{"name":"Patrick Massot","email":"d6ba85f14dec2f7e70d001a736a8bb6240809d0b@polytechnique.edu"},"message":"Update demo.lean","distinct":true,"url":"https://api.github.com/repos/PatrickMassot/lean-scratchpad/commits/ccea607de1e357c68d55b0b4faf49a31c03d7bc4"}]}
{"actor":{"display_login":"PatrickMassot"}}