{"push_id":2404130658,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3391cc7cf9a52ae4ed1bf8b8bbff01f7283f85a7","before":"978df3e010defd529bac151ddfb0b1384b81187b","commits":[{"sha":"3391cc7cf9a52ae4ed1bf8b8bbff01f7283f85a7","author":{"name":"rpeszek","email":"8806f8bad4a46e25c44e8654a030b9fc7252bb05@gmail.com"},"message":"Sec 2.2 notes. Changes to markdown publishing","distinct":true,"url":"https://api.github.com/repos/rpeszek/IdrisTddNotes/commits/3391cc7cf9a52ae4ed1bf8b8bbff01f7283f85a7"}]}
{"actor":{"display_login":"rpeszek"}}