{"push_id":2052976468,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7774706f8911a712aca370d2b7dcd7f5e0918e24","before":"1fbb9c4dcf668362232eadae6c7fbbde79a3586d","commits":[{"sha":"7774706f8911a712aca370d2b7dcd7f5e0918e24","author":{"name":"Michael Norrish","email":"9cd0b5a7782471560cd83004d82fb194c3997b2f@nicta.com.au"},"message":"Remove a selftest.exe when cleaning by using EXTRA_CLEANS","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/7774706f8911a712aca370d2b7dcd7f5e0918e24"}]}
{"actor":{"display_login":"mn200"}}