{"push_id":582671320,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c40078219daafea8a06d546df33b6570b88adf25","before":"4363ba98dd4cb81f71ec34fbd1684dc86687be7c","commits":[{"sha":"d2dc144f26cd7cd83cb6aa032201d972ec4fda4f","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"Support for type-cast in match as annotation of implicit reduction","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/d2dc144f26cd7cd83cb6aa032201d972ec4fda4f"},{"sha":"c40078219daafea8a06d546df33b6570b88adf25","author":{"email":"5052f055b75d6b332a9e13c73d16b830f6fb2508@gmail.com","name":"Vlad Vergu"},"message":"In-place reduction hint by type cast","distinct":true,"url":"https://api.github.com/repos/metaborg/dynsem/commits/c40078219daafea8a06d546df33b6570b88adf25"}]}