{"push_id":1304431800,"size":10,"distinct_size":10,"ref":"refs/heads/master","head":"006b3054efaa1fe80cbb4d0e7f296ff7a0800268","before":"05cf48c3bc26870db7faac6fb0649bc88c8990be","commits":[{"sha":"e5e2ec37e036bee452c4b2b97e208dba005eea07","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e5e2ec37e036bee452c4b2b97e208dba005eea07"},{"sha":"66dd338c2f0393f8b68779eaa7eb3a9a1ad1a5b6","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/66dd338c2f0393f8b68779eaa7eb3a9a1ad1a5b6"},{"sha":"b24f1fe7f518df224e30069005e417a997b82520","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b24f1fe7f518df224e30069005e417a997b82520"},{"sha":"92cba94e32b116541d56f0d0249813820c3a85ea","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/92cba94e32b116541d56f0d0249813820c3a85ea"},{"sha":"32d94aa2e1315a9001020fd63b3118bdd53cab0f","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/32d94aa2e1315a9001020fd63b3118bdd53cab0f"},{"sha":"b88fea7506b81b9af80124874840e4130a82bb1a","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b88fea7506b81b9af80124874840e4130a82bb1a"},{"sha":"223e09da4e876a1bc580cc175109fb8b0d180494","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/223e09da4e876a1bc580cc175109fb8b0d180494"},{"sha":"f0b070bc4e9c68a5f85a47052e53b81df7d47916","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Merge branch 'master' of github.com:Z3Prover/bin","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f0b070bc4e9c68a5f85a47052e53b81df7d47916"},{"sha":"6625a59933f59eb2c817037d0d9236af6b121c30","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6625a59933f59eb2c817037d0d9236af6b121c30"},{"sha":"006b3054efaa1fe80cbb4d0e7f296ff7a0800268","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/006b3054efaa1fe80cbb4d0e7f296ff7a0800268"}]}
{"actor":{"display_login":"wintersteiger"}}