{"push_id":3084373239,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"39bf8df76fc1093f3efa672284421c884319c89d","before":"f6a2d21b6c2a93cb70fde235fc897fb75ea51384","commits":[{"sha":"f08dfceda3930bdd42602490a6ad4174db509702","author":{"name":"Enrico Tassi","email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr"},"message":"Remove obsolete files from dev/doc\n\n- cic.dtd is related to the XML plugin\n- about-hints uses v7 syntax\n- minicoq.tex talks about a tool that is not there\n- translate.txt talks about the v7->v8 translation machinery\n- transition-* talk about v5->v7 changes to the sources layout","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/f08dfceda3930bdd42602490a6ad4174db509702"},{"sha":"99d129b8e4e7fcde8c848520463c4e8c7d8bdc11","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Goptions.declare_* functions return unit instead of a write_function\n\nReturning a writer insinuates that it is not exactly the same as the\nwriter which was passed as argument, but that is incorrect.","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/99d129b8e4e7fcde8c848520463c4e8c7d8bdc11"},{"sha":"74038abdd41161a4c4b1eba5dbbd83f5c0301bf3","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"s/let _ =/let () =/ in some places (mostly goptions related)","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/74038abdd41161a4c4b1eba5dbbd83f5c0301bf3"},{"sha":"0a699c7c932352f38c14f1bdf33ee7955241c1d8","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Merge PR #7033: Remove obsolete files from dev/doc","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/0a699c7c932352f38c14f1bdf33ee7955241c1d8"},{"sha":"39bf8df76fc1093f3efa672284421c884319c89d","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"Merge PR #9046: Goptions.declare_* functions return unit instead of a write_function","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/39bf8df76fc1093f3efa672284421c884319c89d"}]}
{"actor":{"display_login":"SkySkimmer"}}