{"push_id":813664793,"size":1,"distinct_size":0,"ref":"refs/heads/pure","head":"114f9834ddc16e9380c91130f635c3d309e4b5fb","before":"18a0314f6b08f6c5e0d8c4edc6d35626ff85c57c","commits":[{"sha":"114f9834ddc16e9380c91130f635c3d309e4b5fb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Adjusted copyright notice.","distinct":false,"url":"https://api.github.com/repos/Z3Prover/z3/commits/114f9834ddc16e9380c91130f635c3d309e4b5fb"}]}