{"push_id":1180971374,"size":1,"distinct_size":1,"ref":"refs/heads/byte-apart","head":"073178a9821d10b72fe581d3ba7814afd7dfbb05","before":"dd134de0b068c70adb80c94921673086f0002c30","commits":[{"sha":"073178a9821d10b72fe581d3ba7814afd7dfbb05","author":{"name":"Pierre Letouzey","email":"7f57ef47d7df4bda39ff7662fedf6b8fbea1832c@inria.fr"},"message":"Makefile: $(BEST) controls which coqtop is used to build .vo\n\n This allows to grant a wish by Hugo: to build coqtop.byte and prelude\n with it, you could do:\n\n  make -j BEST=byte states","distinct":true,"url":"https://api.github.com/repos/letouzey/coq-wip/commits/073178a9821d10b72fe581d3ba7814afd7dfbb05"}]}
{"actor":{"display_login":"letouzey"}}