{"push_id":617947485,"size":1,"distinct_size":1,"ref":"refs/heads/raft-state-machine-safety","head":"22249ae68a807280e47089e961f0b726840c98f4","before":"86f25f9a991d59669eccd43db7f4fe0070d494c3","commits":[{"sha":"22249ae68a807280e47089e961f0b726840c98f4","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"change Makefile.coq to phony target to prevent staleness","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/22249ae68a807280e47089e961f0b726840c98f4"}]}