{"push_id":875297256,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"c67c392355b79f4cbab60ec2ed24db8ba9b923a8","before":"594cb57885d7c5ee7a965cbeb5c7b13ff9250982","commits":[{"sha":"c67c392355b79f4cbab60ec2ed24db8ba9b923a8","author":{"email":"fe544103cfb4b62095445bacdfce7634a99e5ab7@vub.ac.be","name":"Dylan Meysmans"},"message":"Refer to Coq's website","distinct":true,"url":"https://api.github.com/repos/lapis-lang/lapis/commits/c67c392355b79f4cbab60ec2ed24db8ba9b923a8"}]}