{"push_id":3058593929,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6128741e9979df333638ca397e3509d4c6025329","before":"e97885d547861272d0893a7ea363c4b1b79048d5","commits":[{"sha":"6128741e9979df333638ca397e3509d4c6025329","author":{"name":"Victor Porton","email":"3327c907a7e2918ecb635e67f388b5583466879b@narod.ru"},"message":"a proposition proved","distinct":true,"url":"https://api.github.com/repos/vporton/algebraic-general-topology/commits/6128741e9979df333638ca397e3509d4c6025329"}]}
{"actor":{"display_login":"vporton"}}