{"push_id":891707945,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1d19a52241c96d9f62ff7d0940e2170a7a01581a","before":"92a864e4c5903a055cd7e8b000267b5192a3d775","commits":[{"sha":"537413e47d1e13e48a8db4e519819ac3773110b1","author":{"email":"3bc6f2208b90542717470de5278f48ae0e983c97@florence.io","name":"Spencer Florence"},"message":"added proof general for Coq","distinct":true,"url":"https://api.github.com/repos/florence/.home-configs/commits/537413e47d1e13e48a8db4e519819ac3773110b1"},{"sha":"1d19a52241c96d9f62ff7d0940e2170a7a01581a","author":{"email":"3bc6f2208b90542717470de5278f48ae0e983c97@florence.io","name":"Spencer Florence"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/florence/.home-configs/commits/1d19a52241c96d9f62ff7d0940e2170a7a01581a"}]}