{"push_id":585394138,"size":1,"distinct_size":1,"ref":"refs/heads/raft-state-machine-safety","head":"6794ce1dca2f6d1627bddd5f0bcb0073e03629cc","before":"07a1473b6f938a5c2ed2c0d925329627db2cb3b7","commits":[{"sha":"6794ce1dca2f6d1627bddd5f0bcb0073e03629cc","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"input_correct_snoc_inv","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/6794ce1dca2f6d1627bddd5f0bcb0073e03629cc"}]}