{"push_id":1158747936,"size":32,"distinct_size":32,"ref":"refs/heads/master","head":"f10e5dab52be97c947d37b69ca4797276a0beace","before":"00c68b17a5a60d5d15aa8181fecaed169c1a624b","commits":[{"sha":"0f7f1fc9658fbcd42caa50c8f0b8d5dde9c75b50","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0f7f1fc9658fbcd42caa50c8f0b8d5dde9c75b50"},{"sha":"077d50400f44816f1183914a4866efeccf67fb93","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/077d50400f44816f1183914a4866efeccf67fb93"},{"sha":"f7cf7fd2fafeae327d09daa1a4e7f2db1d4aa052","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/f7cf7fd2fafeae327d09daa1a4e7f2db1d4aa052"},{"sha":"3b3afb5c214545c7cf12192f0a547c31f1020b34","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3b3afb5c214545c7cf12192f0a547c31f1020b34"},{"sha":"76fa3295da2ccd5b08fe4deb922ab0a42fb90703","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/76fa3295da2ccd5b08fe4deb922ab0a42fb90703"},{"sha":"db5e64f69ad22a9d49774b3c07684b46fdf95c1a","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/db5e64f69ad22a9d49774b3c07684b46fdf95c1a"},{"sha":"f061de0f20695ae64e97331e86e73ff15cd63756","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/f061de0f20695ae64e97331e86e73ff15cd63756"},{"sha":"2679e7669b0b9064483901915ed06007062e26b6","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2679e7669b0b9064483901915ed06007062e26b6"},{"sha":"16aedd71382ee605941e3b25543f913e2604132d","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/16aedd71382ee605941e3b25543f913e2604132d"},{"sha":"6be741c7eed06aca07806275d06885ca6347e242","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6be741c7eed06aca07806275d06885ca6347e242"},{"sha":"aa6b051a55631d1c6991ddc6b6c07c3c8fb186f2","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/aa6b051a55631d1c6991ddc6b6c07c3c8fb186f2"},{"sha":"9da4ad3f0621c778d7c21925ac8643f988b60451","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9da4ad3f0621c778d7c21925ac8643f988b60451"},{"sha":"87d75488154010e4d21b73a7598a9cfcd646afc6","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/87d75488154010e4d21b73a7598a9cfcd646afc6"},{"sha":"7e159591bf552e4ef3d56733f96ee350788e812c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/7e159591bf552e4ef3d56733f96ee350788e812c"},{"sha":"02e26a913060431fd6a90251d9584920ad50e954","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/02e26a913060431fd6a90251d9584920ad50e954"},{"sha":"06eaa8cc79dcdee952ffb0d5d04cbce8396ba9c0","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/06eaa8cc79dcdee952ffb0d5d04cbce8396ba9c0"},{"sha":"82f6880c8263e5308244eae4d9a2cb65cf3d0f56","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/82f6880c8263e5308244eae4d9a2cb65cf3d0f56"},{"sha":"b38042d60904477215ab2a6760d691dd6a36b4de","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b38042d60904477215ab2a6760d691dd6a36b4de"},{"sha":"c091a9bb96281b39b7dadf36e79ff768726fd0e0","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/c091a9bb96281b39b7dadf36e79ff768726fd0e0"},{"sha":"6661f2ab9409fe1b954c5559ab9e6c3058893089","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6661f2ab9409fe1b954c5559ab9e6c3058893089"}]}
{"actor":{"display_login":"wintersteiger"}}