{"push_id":727215909,"size":4,"distinct_size":0,"ref":"refs/heads/testing","head":"5e073dd1a1098194875a080cfaee6e7937c88082","before":"255584a4e0858b4dccc4f421947a80afbf7ff6bd","commits":[{"sha":"ed534acb4d23bbd327cde5f228b903b3395a2a58","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Update Quicklisp bundle to latest libraries (using update-libs.sh)","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/ed534acb4d23bbd327cde5f228b903b3395a2a58"},{"sha":"22c108001bf92511a9e9208a2b1897a21d5f62ae","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Add missing files that were hidden by .gitignore.\n\nTweak .gitignore in the quicklisp directory to not hide *.c and *.h\nto try to avoid this problem in the future.\n\nI rather think we shouldn't be ignoring *.h and *.c in the top-level\nacl2/.gitignore file.  Maybe this is important for GCL?  Even if so,\nthat's pretty unfortunate...","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/22c108001bf92511a9e9208a2b1897a21d5f62ae"},{"sha":"f320807925a608fa5678829bd6ed27c1a1f13c7a","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Hide deprecation warnings when loading osicat","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/f320807925a608fa5678829bd6ed27c1a1f13c7a"},{"sha":"5e073dd1a1098194875a080cfaee6e7937c88082","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Merge remote-tracking branch 'remotes/origin/master'","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/5e073dd1a1098194875a080cfaee6e7937c88082"}]}