{"push_id":3046390522,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c4d94de2e2d935fb968cf009306be7815ae97de9","before":"31faed7a1aec9b57228f77d9f8f13176186109af","commits":[{"sha":"35a22e5dc298a3be1359c0d18099d55df4f7d9f9","author":{"name":"fidel-ml","email":"d6b3be20ab873dd9021136bf038259e6a6ca060a@unq.edu.ar"},"message":"Attempting to type Linear Combinations (failed on S_i rule)","distinct":true,"url":"https://api.github.com/repos/igrima/QLambdaInter/commits/35a22e5dc298a3be1359c0d18099d55df4f7d9f9"},{"sha":"c4d94de2e2d935fb968cf009306be7815ae97de9","author":{"name":"fidel-ml","email":"d6b3be20ab873dd9021136bf038259e6a6ca060a@unq.edu.ar"},"message":"Merge branch 'master' of https://github.com/igrima/QLambdaInter","distinct":true,"url":"https://api.github.com/repos/igrima/QLambdaInter/commits/c4d94de2e2d935fb968cf009306be7815ae97de9"}]}
{"actor":{"display_login":"fidel-ml"}}