{"push_id":1207537116,"size":1,"distinct_size":1,"ref":"refs/heads/shallow.2016","head":"c66f8b556cafe14ab19e4604ee2fbb0f790316bd","before":"035c2ee1b4792904b7ba6536bb26acca0a173da0","commits":[{"sha":"c66f8b556cafe14ab19e4604ee2fbb0f790316bd","author":{"name":"Simon Foster","email":"76633d021152981201a5fa174f3c16f1c09fce7d@york.ac.uk"},"message":"Began work on the Wait construct","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/c66f8b556cafe14ab19e4604ee2fbb0f790316bd"}]}
{"actor":{"display_login":"simondfoster"}}