{"push_id":672530606,"size":3,"distinct_size":3,"ref":"refs/heads/unstable","head":"e438143abce11f3217b275c916307a9cb14ca51e","before":"279ef05713462237e427dc96192d911a9cb18dbc","commits":[{"sha":"13a3bdd7a3589c0a7e8b622acfba20e542c2f2b8","author":{"email":"a8feb9b677963ee0ca36ea0969c8a2f9441a19f8@microsoft.com","name":"Ken McMillan"},"message":"fix proof for extended GCD rule","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/13a3bdd7a3589c0a7e8b622acfba20e542c2f2b8"},{"sha":"4546c3e7bb8da0d53ce85847d6ba641156865726","author":{"email":"a8feb9b677963ee0ca36ea0969c8a2f9441a19f8@microsoft.com","name":"Ken McMillan"},"message":"merge","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/4546c3e7bb8da0d53ce85847d6ba641156865726"},{"sha":"e438143abce11f3217b275c916307a9cb14ca51e","author":{"email":"a8feb9b677963ee0ca36ea0969c8a2f9441a19f8@microsoft.com","name":"Ken McMillan"},"message":"fix for github issue #105","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/e438143abce11f3217b275c916307a9cb14ca51e"}]}