{"push_id":2301667943,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5a91ed7561e0feef307dbddb6c7305622f86891c","before":"3824c4e324579bb8210e4f1c6e5b9869ca1f59cf","commits":[{"sha":"5a91ed7561e0feef307dbddb6c7305622f86891c","author":{"name":"Gaspard FEREY","email":"b701f65c80189a7670a79205e1569569da60af13@lsv.fr"},"message":"Extracting universe from inductive type.","distinct":true,"url":"https://api.github.com/repos/Deducteam/CoqInE/commits/5a91ed7561e0feef307dbddb6c7305622f86891c"}]}
{"actor":{"display_login":"Gaspi"}}