{"push_id":2828448209,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"71be2a538a427f71d1de10416455b32fd63c0820","before":"92e0cf5106e373d328844a5240544d9ea84ea205","commits":[{"sha":"1a33e8fcfdcf5a2c42b77e973d8aa05572d27dad","author":{"name":"Rodolphe Lepigre","email":"85816bd5eff296ce8e3c5ae60739b7d4fcafdae9@inria.fr"},"message":"Do not fail in type-checking.","distinct":true,"url":"https://api.github.com/repos/rlepigre/lambdapi/commits/1a33e8fcfdcf5a2c42b77e973d8aa05572d27dad"},{"sha":"71be2a538a427f71d1de10416455b32fd63c0820","author":{"name":"Rodolphe Lepigre","email":"85816bd5eff296ce8e3c5ae60739b7d4fcafdae9@inria.fr"},"message":"Merge branch 'master' of github.com:rlepigre/lambdapi","distinct":true,"url":"https://api.github.com/repos/rlepigre/lambdapi/commits/71be2a538a427f71d1de10416455b32fd63c0820"}]}
{"actor":{"display_login":"rlepigre"}}