{"push_id":892463547,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7c2c362991e17055c8f872fcbf215925ce12e69d","before":"2698d1875cec5822f6626dbbc4c34b7d26276352","commits":[{"sha":"7c2c362991e17055c8f872fcbf215925ce12e69d","author":{"email":"2951e37d99fdb5034347ccba10d674fcad176eb0@gmail.com","name":"KINOSHITA Minoru"},"message":"Add substitution API.","distinct":true,"url":"https://api.github.com/repos/krtx/z3overlay/commits/7c2c362991e17055c8f872fcbf215925ce12e69d"}]}