{"push_id":2468392698,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"53701e27185769933b658497110b828d15f5e644","before":"b1716998601bc3c07fc96a1364e79026717a42b7","commits":[{"sha":"53701e27185769933b658497110b828d15f5e644","author":{"name":"David Turner","email":"709905e26f74d91cb7856a1b5201cc51f063d038@gmail.com"},"message":"Added note on totality of functions in Isabelle","distinct":true,"url":"https://api.github.com/repos/DaveCTurner/davecturner.github.io/commits/53701e27185769933b658497110b828d15f5e644"}]}
{"actor":{"display_login":"DaveCTurner"}}