{"push_id":882303529,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2ed6f55e2ec5c19f4853d1361ec14650d1e4e347","before":"35d024e6d2ad333852d98f270dc0ce236af69ee4","commits":[{"sha":"2ed6f55e2ec5c19f4853d1361ec14650d1e4e347","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"more on event_set_policies_update_policies\n\nit looks to be untrue, but only in the case where the focal robot moves.\nit might be best (in the main step/fill lemma) to do a big case split\nearly on on whether that is happening.","distinct":true,"url":"https://api.github.com/repos/machine-intelligence/Botworld.HOL/commits/2ed6f55e2ec5c19f4853d1361ec14650d1e4e347"}]}