{"push_id":843482921,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ad04903d6c48b0773b5737e6e6b5bcc936530c67","before":"604b1c8eaa7776e1e7443da4c9bc2bae8eb0f5b1","commits":[{"sha":"ad04903d6c48b0773b5737e6e6b5bcc936530c67","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"trying to reuse set_policies theorems in the update framework","distinct":true,"url":"https://api.github.com/repos/machine-intelligence/Botworld.HOL/commits/ad04903d6c48b0773b5737e6e6b5bcc936530c67"}]}