{"push_id":2216030515,"size":1,"distinct_size":1,"ref":"refs/heads/mvp","head":"a5cd83efece6f854d2b3cbe1983bb5eb596edf4f","before":"148b21b3a7c9fd15b257d0799af317e216b48bd8","commits":[{"sha":"a5cd83efece6f854d2b3cbe1983bb5eb596edf4f","author":{"name":"Babay","email":"fabc6bf6eb6f5978e26dfa7836ede00cb359e102@mail.ru"},"message":"#37939 -- make detection more resolution-independent","distinct":true,"url":"https://api.github.com/repos/isvirin/prover/commits/a5cd83efece6f854d2b3cbe1983bb5eb596edf4f"}]}
{"actor":{"display_login":"Babay88"}}