{"push_id":1423656345,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ee401cf03202f1cea101b18cb48febcfa1d5bdea","before":"8dd7c0dcefe51c161bc0e7ac7705fc51d74a9b18","commits":[{"sha":"ee401cf03202f1cea101b18cb48febcfa1d5bdea","author":{"name":"Angel Cuenca-Ortega","email":"e14394c44adcba9f45cf671add8670d75f3b0458@users.noreply.github.com"},"message":"Rename kmp-au-bren.out.maude to kmp-au-aren.out.maude\n\nKMP Partially evaluated program modulo axioms before renaming.","distinct":true,"url":"https://api.github.com/repos/acuencao/victoria/commits/ee401cf03202f1cea101b18cb48febcfa1d5bdea"}]}
{"actor":{"display_login":"acuencao"}}