{"push_id":640700829,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cb1457e3baad31205dd5cf1eae49085f9689eaa1","before":"5cb90f9a6251f16f04aa1efad270f420f045f266","commits":[{"sha":"cb1457e3baad31205dd5cf1eae49085f9689eaa1","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Fix removal path.","distinct":true,"url":"https://api.github.com/repos/coq/repo-unstable/commits/cb1457e3baad31205dd5cf1eae49085f9689eaa1"}]}