{"push_id":820085613,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"dbdef043ea143f871a3710bae36dfc45fd815835","before":"d6ff0fcefa21bd2c6424627049b0f5e49ed4df12","commits":[{"sha":"dbdef043ea143f871a3710bae36dfc45fd815835","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Allowing empty bound universe variables.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/dbdef043ea143f871a3710bae36dfc45fd815835"}]}