{"push_id":806045318,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"2350d405b7a8083755be99b78bfc068e196f7a51","before":"c86486668342308f742261d285d8d439f3f4a418","commits":[{"sha":"e12a02b4f10159a552d89d39e7286070cafbf1ed","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Five more conferences\n\nGonna need to granularise more soon","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/e12a02b4f10159a552d89d39e7286070cafbf1ed"},{"sha":"f3b9f65930985c9cf9a35c36238e10778b80a142","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Add PicoSAT","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/f3b9f65930985c9cf9a35c36238e10778b80a142"},{"sha":"5e7c8b0ba7e86010fe8b2d83ffdf8ed9924aed29","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Update seL4 URL; +Galois","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/5e7c8b0ba7e86010fe8b2d83ffdf8ed9924aed29"},{"sha":"cd44125b868631780f0f51f2f69409221e267e83","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Rearrange conferences a bit","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/cd44125b868631780f0f51f2f69409221e267e83"},{"sha":"784e1decae24e4f995b9f00e2fcfad93463720d2","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Mention Isabelle/HOLCF","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/784e1decae24e4f995b9f00e2fcfad93463720d2"},{"sha":"2350d405b7a8083755be99b78bfc068e196f7a51","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"readme: Add some journals","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/verif-notes/commits/2350d405b7a8083755be99b78bfc068e196f7a51"}]}