{"push_id":587043775,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"a0423c8c0051323ceb80f1786b75c54d3405b1ad","before":"c9d42b3d485828b74efc15435ae0e02c850d783a","commits":[{"sha":"a0423c8c0051323ceb80f1786b75c54d3405b1ad","author":{"email":"367bbdfafbbc1a3248435237fe8f192500cc470e@gmail.com","name":"mlasson"},"message":"Fixing the rule for ml4 depencies in coq_makefile","distinct":true,"url":"https://api.github.com/repos/mlasson/coq/commits/a0423c8c0051323ceb80f1786b75c54d3405b1ad"}]}