{"push_id":687244064,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d56a244b668893ec5906238a5d82eac48c724668","before":"82c268dec57d7a4aea1a80315c94b39508622a1b","commits":[{"sha":"d56a244b668893ec5906238a5d82eac48c724668","author":{"email":"1f72b3b3af5e2715476e19091873ef470e8701f1@mail.ru","name":"White Sagittarius"},"message":"Renamed transition import argument","distinct":true,"url":"https://api.github.com/repos/arpol1993/software-verification/commits/d56a244b668893ec5906238a5d82eac48c724668"}]}