{"push_id":979903902,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3b3846977ee4bfce93ed752425c268284c695c24","before":"9e2d58771208b0d9ef25a25776a3b1fa42407752","commits":[{"sha":"dd5095e200de073cdbc5620b7c23f0d14910f644","author":{"email":"c48d4a6ce887627dd5534c24404ebe0fd9b08711@gmail.com","name":"Tomasz Wegrzanowski"},"message":"Verbal arithmetic in more idiomatic ruby","distinct":true,"url":"https://api.github.com/repos/taw/z3/commits/dd5095e200de073cdbc5620b7c23f0d14910f644"},{"sha":"3b3846977ee4bfce93ed752425c268284c695c24","author":{"email":"c48d4a6ce887627dd5534c24404ebe0fd9b08711@gmail.com","name":"Tomasz Wegrzanowski"},"message":"Light Up solver","distinct":true,"url":"https://api.github.com/repos/taw/z3/commits/3b3846977ee4bfce93ed752425c268284c695c24"}]}