{"push_id":3070373934,"size":1,"distinct_size":0,"ref":"refs/heads/prerelease","head":"c4d0fcb1cb592b33411cf94650750a1ea0191e2b","before":"35de690f3ee78b12f868eb848b829ce02cd14ecd","commits":[{"sha":"c4d0fcb1cb592b33411cf94650750a1ea0191e2b","author":{"name":"Victor Porton","email":"3327c907a7e2918ecb635e67f388b5583466879b@narod.ru"},"message":"proposition proved","distinct":false,"url":"https://api.github.com/repos/vporton/algebraic-general-topology/commits/c4d0fcb1cb592b33411cf94650750a1ea0191e2b"}]}
{"actor":{"display_login":"vporton"}}