{"push_id":622317012,"size":2,"distinct_size":2,"ref":"refs/heads/new","head":"5ed5eccfb7688665d86c9a8048518dd7afd3dd9f","before":"a553adca16c56bc792d1d3122a7efd5ef862f97f","commits":[{"sha":"29dc9434344f92d353a808f468eaaf14594f75bc","author":{"email":"f74134981f3c3aa8f51d3ab7801ef33b5ac8481a@gmail.com","name":"txin"},"message":"topological sort list","distinct":true,"url":"https://api.github.com/repos/txin/modes-generator/commits/29dc9434344f92d353a808f468eaaf14594f75bc"},{"sha":"5ed5eccfb7688665d86c9a8048518dd7afd3dd9f","author":{"email":"f74134981f3c3aa8f51d3ab7801ef33b5ac8481a@gmail.com","name":"txin"},"message":"added INIT block and kind of fixed SMT interface","distinct":true,"url":"https://api.github.com/repos/txin/modes-generator/commits/5ed5eccfb7688665d86c9a8048518dd7afd3dd9f"}]}