{"push_id":873135803,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ef26bd16cb92348758dd6508622ecc9628188a9b","before":"7f122a4cd5e570a04b2a62cf0f18f2efc7e66c24","commits":[{"sha":"ef26bd16cb92348758dd6508622ecc9628188a9b","author":{"email":"29ce0a95c5081c4dfe49e8b9d22463bc8120ae1d@nxvr.org","name":"Zephyr Pellerin"},"message":"Add z3-mode to all .smt[2]? files","distinct":true,"url":"https://api.github.com/repos/zv/z3-mode/commits/ef26bd16cb92348758dd6508622ecc9628188a9b"}]}