{"push_id":610355479,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54c51f257709b73be4494a19cdcd8c65a93d1b35","before":"893569d90483585395a62ff378d4103e327a0dfa","commits":[{"sha":"54c51f257709b73be4494a19cdcd8c65a93d1b35","author":{"email":"7cb4acede6a8d5e8f6e900e4a5c0806ffd147e70@cl.cam.ac.uk","name":"Magnus Myreen"},"message":"typo in m0_decompLib.sig","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/54c51f257709b73be4494a19cdcd8c65a93d1b35"}]}