{"push_id":629616163,"size":1,"distinct_size":1,"ref":"refs/heads/raft-state-machine-safety","head":"80cb0c6616a962ff70b78bfbe5ec73be222c3b38","before":"5479e89a332233ef4147d9b97aa42efd91bd1cf4","commits":[{"sha":"80cb0c6616a962ff70b78bfbe5ec73be222c3b38","author":{"email":"a579be5273d882c14d5c1ed95422198a487fe71b@gmail.com","name":"Doug Woos"},"message":"Prove doGenericServer case","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/80cb0c6616a962ff70b78bfbe5ec73be222c3b38"}]}