{"push_id":1264637349,"size":1,"distinct_size":1,"ref":"refs/heads/2.0.4","head":"63a68f4a028cbbc2d79420c43521b2e03093da8f","before":"f96362d1ca6a264adaf6ab2aa46ba7db6869c90d","commits":[{"sha":"63a68f4a028cbbc2d79420c43521b2e03093da8f","author":{"name":"Kaustuv Chaudhuri","email":"12fb5580291d3dd1f62ae38aac03dd849d9984c1@inria.fr"},"message":"Examples index sync'd","distinct":true,"url":"https://api.github.com/repos/abella-prover/abella/commits/63a68f4a028cbbc2d79420c43521b2e03093da8f"}]}
{"actor":{"display_login":"chaudhuri"}}