{"push_id":3092703128,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5f841e39403e1642c6ceb3e5439e87f52d06e215","before":"dcfade217481d751ebc5b3add260e6afeb3e023b","commits":[{"sha":"5f841e39403e1642c6ceb3e5439e87f52d06e215","author":{"name":"thery","email":"953d88dbe5b4b73ac4da864a145071011bd3ccdd@inria.fr"},"message":"adding the geometric algebra contribution","distinct":true,"url":"https://api.github.com/repos/thery/opam-coq-archive/commits/5f841e39403e1642c6ceb3e5439e87f52d06e215"}]}
{"actor":{"display_login":"thery"}}