{"push_id":940213523,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"6a1429a5e71655446fe9ee9c67605d1ee64fa073","before":"5f0a1cd2c8be402fad3523ab77b03f8a12067b8e","commits":[{"sha":"dc963d507e1533e4ce06aae18fe92ca750d99d9c","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"Merge pull request #2105 from grosu/master\n\nsimple typed dynamic works!","distinct":true,"url":"https://api.github.com/repos/grosu/k/commits/dc963d507e1533e4ce06aae18fe92ca750d99d9c"},{"sha":"b8290cc86f9b8c519c07e5a1143f1361c36f33f6","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"this is a bit too easy...","distinct":true,"url":"https://api.github.com/repos/grosu/k/commits/b8290cc86f9b8c519c07e5a1143f1361c36f33f6"},{"sha":"6a1429a5e71655446fe9ee9c67605d1ee64fa073","author":{"email":"3be75067e5eb1e39a8f8bdfa143e2c4d5efcf3f7@illinois.edu","name":"Grigore Rosu"},"message":"Merge pull request #2106 from kframework/hotfix/context-cooling\n\nthis is a bit too easy...","distinct":true,"url":"https://api.github.com/repos/grosu/k/commits/6a1429a5e71655446fe9ee9c67605d1ee64fa073"}]}