{"push_id":1142604378,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d4d99ff49cc6fadcbe11a6d5096a02b58931bd90","before":"8404f175e4483285b82d39453437eca5ce422a11","commits":[{"sha":"d4d99ff49cc6fadcbe11a6d5096a02b58931bd90","author":{"name":"Valentin Robert","email":"e1858f55ca0b9c7117e14a13ab50e3135b9860a5@gmail.com"},"message":"visualization interaction: forall","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/d4d99ff49cc6fadcbe11a6d5096a02b58931bd90"}]}
{"actor":{"display_login":"Ptival"}}