{"push_id":777120319,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cfd17749840cffd8bfa8f1b4cf9a4cb82ad9c6a","before":"03bcbc8057940092a349fa7cdc0f0d01bcc3249a","commits":[{"sha":"1cfd17749840cffd8bfa8f1b4cf9a4cb82ad9c6a","author":{"email":"5f415be698ca6559f391008c7afc67616bdce173@jetbrains.com","name":"Sergey Sinchuk"},"message":"Proved lemma 3","distinct":true,"url":"https://api.github.com/repos/sxhya/relativeparabolic/commits/1cfd17749840cffd8bfa8f1b4cf9a4cb82ad9c6a"}]}