{"push_id":1088995413,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3f75d5be584ae79419a3b322009102be219087d0","before":"308db3d130ae7de9615778dc8b8523b2327cd429","commits":[{"sha":"3f75d5be584ae79419a3b322009102be219087d0","author":{"email":"bbee439228707cdf74d696deabf87b10401c5842@gmail.com","name":"fmorbini"},"message":"refactored unification to use wff and term objects.","distinct":true,"url":"https://api.github.com/repos/fmorbini/etcabduction/commits/3f75d5be584ae79419a3b322009102be219087d0"}]}