{"push_id":1434031659,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"d2b2cf482564f71a4f2f9c853c02220570b2c800","before":"a65f5ac8e0238c558071b091daebf947310a0c16","commits":[{"sha":"c22bcf311812e31af8ececa734ca5ef709fcf145","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Documentation fixes:\n - Add a defxdoc option :no-override and a corresponding defsection\noption :no-xdoc-override, meaning that if the topic exists at the time\nof the table event -- not the make-event expansion -- then it is not\noverridden.  Used this in some documentation-generating macros like\ndeflist to avoid overwriting the documentation for ACL2 built-in\nfunctions like integer-listp.\n - Fixed various other documentation problems in vl, sv, fty, etc.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/c22bcf311812e31af8ececa734ca5ef709fcf145"},{"sha":"d2b2cf482564f71a4f2f9c853c02220570b2c800","author":{"name":"David L. Rager","email":"3d2ab9c941a10e8adc4328f12cd36917e9102fba@gmail.com"},"message":"Merge commit 'a65f5ac8e0238c558071b091daebf947310a0c16' into HEAD","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/d2b2cf482564f71a4f2f9c853c02220570b2c800"}]}
{"actor":{"display_login":"acl2jenkins"}}