{"push_id":1216132459,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3bfb7ff1749410ea730ac03fbe46c0458f01039e","before":"9c6e3f501662e2394ec1234079d0828f3b3e781e","commits":[{"sha":"5a9c288a4fde18401d0171ae1189baff2dcde5f8","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Improve implementation of install-not-norm-event.\n\nUse INSTALL-NOT-NORMALIZED-NAME from [books]/misc/install-not-normalized.lisp\ninstead of replicating its code.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/5a9c288a4fde18401d0171ae1189baff2dcde5f8"},{"sha":"3bfb7ff1749410ea730ac03fbe46c0458f01039e","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Improve fresh name utilities.\n\nUse ADD-SUFFIX instead of PACKN, so the fresh names are not always put into the\nACL2 package.","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/acl2/commits/3bfb7ff1749410ea730ac03fbe46c0458f01039e"}]}
{"actor":{"display_login":"acoglio"}}