{"push_id":810250339,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"08b47f54366067b071f79a04bcb898ddec54b3a5","before":"c4404ecca61322394b846f412c48a4921e3da9bb","commits":[{"sha":"9d65dd597b5a7b9ceac4bb756ddb3ca839c340e7","author":{"email":"16bc7508a7d730c7bc0ba3c1f8946320899c149d@gmail.com","name":"acondolu"},"message":"asdf","distinct":true,"url":"https://api.github.com/repos/acondolu/hol-work/commits/9d65dd597b5a7b9ceac4bb756ddb3ca839c340e7"},{"sha":"e407ba340cbb31df444f73e94824a427a3908e9b","author":{"email":"16bc7508a7d730c7bc0ba3c1f8946320899c149d@gmail.com","name":"acondolu"},"message":"fixing witnesses with all","distinct":true,"url":"https://api.github.com/repos/acondolu/hol-work/commits/e407ba340cbb31df444f73e94824a427a3908e9b"},{"sha":"08b47f54366067b071f79a04bcb898ddec54b3a5","author":{"email":"16bc7508a7d730c7bc0ba3c1f8946320899c149d@gmail.com","name":"acondolu"},"message":"towards composition of all's","distinct":true,"url":"https://api.github.com/repos/acondolu/hol-work/commits/08b47f54366067b071f79a04bcb898ddec54b3a5"}]}