{"push_id":3078824465,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8543329459313ad015b9158e36841616d02d5e5","before":"1601ee10ec6c927e058311a9fb12a220d44b4a7c","commits":[{"sha":"c8543329459313ad015b9158e36841616d02d5e5","author":{"name":"Michael Norrish","email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au"},"message":"Make Holmake report problems with INCLUDES/-I paths better\n\nCloses #572","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/c8543329459313ad015b9158e36841616d02d5e5"}]}
{"actor":{"display_login":"mn200"}}