{"push_id":2573828258,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0c622d17668d05bf488a904ed9069a23f4ca27be","before":"b35cee2b4f6d363b65ea436450fe5829e41fdd9b","commits":[{"sha":"0c622d17668d05bf488a904ed9069a23f4ca27be","author":{"name":"sazare","email":"6a0e6ff05d589293e87ab2eb1434203655264392@gmail.com"},"message":"bugfix: printmgus forced to change any term's args to orig form.\n cause: origterm() done it.\n resolved: before do it in printmgu0, deepcopy() ed.\n\n\tmodified:   coreprint.jl","distinct":true,"url":"https://api.github.com/repos/sazare/cheaplogic/commits/0c622d17668d05bf488a904ed9069a23f4ca27be"}]}
{"actor":{"display_login":"sazare"}}