{"push_id":1517091053,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4513a15ba83a8941f2126f754feb6b60e0fd9430","before":"7f5545df8cd8249209004837b9ac82560fb7f690","commits":[{"sha":"4513a15ba83a8941f2126f754feb6b60e0fd9430","author":{"name":"Daniel de Rauglaudre","email":"6d27ecba9f15533f00e73482b5fca7d983a6c31f@inria.fr"},"message":"Theorem sin_asin, i.e. sin (asin x) = x, completed.","distinct":true,"url":"https://api.github.com/repos/roglo/banach_tarski/commits/4513a15ba83a8941f2126f754feb6b60e0fd9430"}]}
{"actor":{"display_login":"roglo"}}