{"push_id":739439780,"size":2,"distinct_size":2,"ref":"refs/heads/leader-logs-votes-with-log","head":"a472ce99e20e14c41712bf1e1f1e275e64274138","before":"ea3329367f03d7754f08cf48413c0b92b2c6b5e6","commits":[{"sha":"5adc7abde417580d79d6145d72eed4c71c45ddc5","author":{"email":"a579be5273d882c14d5c1ed95422198a487fe71b@gmail.com","name":"Doug Woos"},"message":"improve a spec lemma","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/5adc7abde417580d79d6145d72eed4c71c45ddc5"},{"sha":"a472ce99e20e14c41712bf1e1f1e275e64274138","author":{"email":"a579be5273d882c14d5c1ed95422198a487fe71b@gmail.com","name":"Doug Woos"},"message":"Prove RV term sanity","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/a472ce99e20e14c41712bf1e1f1e275e64274138"}]}