{"push_id":1204803802,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4876f0fe9687974e63ad3bf20b0f8a7910a70835","before":"4a68817bcf322a2261ab261c383a59b303509160","commits":[{"sha":"4876f0fe9687974e63ad3bf20b0f8a7910a70835","author":{"name":"Michael Norrish","email":"9cd0b5a7782471560cd83004d82fb194c3997b2f@nicta.com.au"},"message":"Make mp_then compile under Moscow ML","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/4876f0fe9687974e63ad3bf20b0f8a7910a70835"}]}
{"actor":{"display_login":"mn200"}}