{"push_id":1427302506,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c9c2e1ecff94d0158db7f2caf498ba844a332e56","before":"a4950719b0ade9f49ab70e8ec40e87ca94557f11","commits":[{"sha":"c9c2e1ecff94d0158db7f2caf498ba844a332e56","author":{"name":"Thomas Tuerk","email":"5f919b14acad347486cfcc925fe5476cb2791020@tuerk-brechen.de"},"message":"holfoot-example: fix Holmake-file","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/c9c2e1ecff94d0158db7f2caf498ba844a332e56"}]}
{"actor":{"display_login":"thtuerk"}}