{"push_id":2062496059,"size":3,"distinct_size":3,"ref":"refs/heads/cudd","head":"1cbccce1045e940237bd466f3ff737ba9f37e272","before":"ce0f4c689a8f70c541f654dae517faf786a533fc","commits":[{"sha":"a3276d9f08f2138967265133572a8a9d5ce46f3b","author":{"name":"Martin Jonáš","email":"df4e96599960521ea868dac21f9e63fc35105731@mail.muni.cz"},"message":"Delete formula vars in destructor of BDDToExprTransformer.","distinct":true,"url":"https://api.github.com/repos/martinjonas/Q3B/commits/a3276d9f08f2138967265133572a8a9d5ce46f3b"},{"sha":"6d0383f2b0388c30f3383710c39ecf2f04163b29","author":{"name":"Martin Jonáš","email":"df4e96599960521ea868dac21f9e63fc35105731@mail.muni.cz"},"message":"Add reorder support.","distinct":true,"url":"https://api.github.com/repos/martinjonas/Q3B/commits/6d0383f2b0388c30f3383710c39ecf2f04163b29"},{"sha":"1cbccce1045e940237bd466f3ff737ba9f37e272","author":{"name":"Martin Jonáš","email":"df4e96599960521ea868dac21f9e63fc35105731@mail.muni.cz"},"message":"Refactor a bit.","distinct":true,"url":"https://api.github.com/repos/martinjonas/Q3B/commits/1cbccce1045e940237bd466f3ff737ba9f37e272"}]}
{"actor":{"display_login":"martinjonas"}}