{"push_id":3052492867,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0a46ea503d85ab1c38615cbcef5e35f48289a77a","before":"589457bc7c8815848c03a4ddf2fdfdef7709ed85","commits":[{"sha":"0a46ea503d85ab1c38615cbcef5e35f48289a77a","author":{"name":"Gaspard Ferey","email":"82f50152624e7750af091fb994c40c9467e00e48@inria.fr"},"message":"Added universe declarations in separate U.dk file.","distinct":true,"url":"https://api.github.com/repos/Deducteam/CoqInE/commits/0a46ea503d85ab1c38615cbcef5e35f48289a77a"}]}
{"actor":{"display_login":"Gaspi"}}