{"push_id":885645328,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c046e9b8883f5a0cdc248cac88be75415f4f72a1","before":"ce67346788e1aca067ae03029d874e250140cae2","commits":[{"sha":"c046e9b8883f5a0cdc248cac88be75415f4f72a1","author":{"email":"51575f6d42c03eb9a5523d156664a17389bb0b7b@umn.edu","name":"Elaheh"},"message":"Rename trimIFE to replaceINIT","distinct":true,"url":"https://api.github.com/repos/elaghs/jkind/commits/c046e9b8883f5a0cdc248cac88be75415f4f72a1"}]}