{"push_id":559421537,"size":1,"distinct_size":1,"ref":"refs/heads/v8.3","head":"3056771af95d2a2dd7ecf02e84a32a6827524c9c","before":"3393db831d65dc31d17002198afcf95456ae256b","commits":[{"sha":"3056771af95d2a2dd7ecf02e84a32a6827524c9c","author":{"email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr","name":"Hugo Herbelin"},"message":"v8.3: backporting Pierre Boutillier's fix to #3843 part 2: \"The .cmxs\nfiles for plugins must have x permission\".","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/3056771af95d2a2dd7ecf02e84a32a6827524c9c"}]}