{"push_id":594103487,"size":6,"distinct_size":6,"ref":"refs/heads/v8.5","head":"560e06e3409003bb58b158cf5f156eb3db70c227","before":"cd84370dfc402ca96ba677a36fb8b6e8c0ae09a0","commits":[{"sha":"3e28afcde1e1c6423c0d2ef9d88094cbd9c5a68c","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Fix syntax highlighting of \"Require multiple libraries\".","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/3e28afcde1e1c6423c0d2ef9d88094cbd9c5a68c"},{"sha":"7dd73ff65ad78b20ff25170f33d15a06ac006ae2","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Add syntax highlighting for Coercion.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/7dd73ff65ad78b20ff25170f33d15a06ac006ae2"},{"sha":"d0801d05923278f3dd908c7965085cc052063944","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/d0801d05923278f3dd908c7965085cc052063944"},{"sha":"c907b5717fd4ef98a5774ab568e2c16d25ce2786","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Fix syntax highlighting of Save.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/c907b5717fd4ef98a5774ab568e2c16d25ce2786"},{"sha":"f3fdaff32e20c1a05defd2670cffaa3eee752eaf","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Add syntax highlighting for About.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/f3fdaff32e20c1a05defd2670cffaa3eee752eaf"},{"sha":"560e06e3409003bb58b158cf5f156eb3db70c227","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Do not highlight \"using\" as a constr keyword.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/560e06e3409003bb58b158cf5f156eb3db70c227"}]}