{"push_id":1607251771,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"13e515885a34d7064768c82b605aa229499adebb","before":"3390382e10b778ecd4bbf8af1ad56bc848340f35","commits":[{"sha":"13e515885a34d7064768c82b605aa229499adebb","author":{"name":"NatalyaSlepkova","email":"3572dcddab0e56d390b2a57899b12b27b830563e@mail.ru"},"message":"Create any_rule.proof","distinct":true,"url":"https://api.github.com/repos/NatalyaSlepkova/MathLogic/commits/13e515885a34d7064768c82b605aa229499adebb"}]}
{"actor":{"display_login":"NatalyaSlepkova"}}