{"push_id":1005350833,"size":1,"distinct_size":1,"ref":"refs/heads/logging","head":"9f361bf4a7a3fd54bfd8f662ae8be75e8c401c22","before":"eff5504c3c2e99ecab0ed340172e343543b4513c","commits":[{"sha":"9f361bf4a7a3fd54bfd8f662ae8be75e8c401c22","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Reorganise hol4-base.thy\n\nSo interpretation happens in one place only, as a separate step.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/9f361bf4a7a3fd54bfd8f662ae8be75e8c401c22"}]}