{"push_id":1133594496,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"936a8ab7fc80c2d0b9dd2fd167a4934e485c4615","before":"cfdd8d07e55b2fe941c01a7cb0e4c3e5ac244f2e","commits":[{"sha":"936a8ab7fc80c2d0b9dd2fd167a4934e485c4615","author":{"name":"Tiark Rompf","email":"fae473b77bdfb994d73b0277282870b2b0747acf@epfl.ch"},"message":"complete proof (without stp mem/sel)","distinct":true,"url":"https://api.github.com/repos/TiarkRompf/minidot/commits/936a8ab7fc80c2d0b9dd2fd167a4934e485c4615"}]}
{"actor":{"display_login":"TiarkRompf"}}