{"push_id":2323428783,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6f1a08085dc44ef68f3817409090182eed727c94","before":"30401c687721b5acadd7bb4af90ecd77727c43c5","commits":[{"sha":"6f1a08085dc44ef68f3817409090182eed727c94","author":{"name":"Avi Weinstock","email":"5576dade579de1d02b530dafee6c7886fe801948@gmail.com"},"message":"Start working on (POSET_PROOFS -> POSET').","distinct":true,"url":"https://api.github.com/repos/aweinstock314/coq-stuff/commits/6f1a08085dc44ef68f3817409090182eed727c94"}]}
{"actor":{"display_login":"aweinstock314"}}