{"push_id":2342394001,"size":5,"distinct_size":0,"ref":"refs/heads/master","head":"ad2924b1d1bb4d02a319a9a8f0db0c3e12ff81f6","before":"ad183cf45a2b5e1a9fb4873243fb51fc756afb99","commits":[{"sha":"b214d72a571f02051d7e9e03ee27b13534c725d1","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Extend DEFCHOOSE queries.\n\nAdd a recognizer for symbols that name DEFCHOOSE functions.\n\nUse this recognizer to shorten the guards of the existing DEFCHOOSE query\nfunctions.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/b214d72a571f02051d7e9e03ee27b13534c725d1"},{"sha":"ef5e714fcfb43875d7ee25e33c2e757039bc5c24","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Add some tests for the newly introduced DEFCHOOSE-NAMEP.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/ef5e714fcfb43875d7ee25e33c2e757039bc5c24"},{"sha":"38e04021b00d8fa32af2659601260f172d74d38a","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Cosmetic edits.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/38e04021b00d8fa32af2659601260f172d74d38a"},{"sha":"792b28c365058d7f15073da6cdda74d97bba6548","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Update Books 8.1 release notes.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/792b28c365058d7f15073da6cdda74d97bba6548"},{"sha":"ad2924b1d1bb4d02a319a9a8f0db0c3e12ff81f6","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Merge branch 'master'.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/ad2924b1d1bb4d02a319a9a8f0db0c3e12ff81f6"}]}
{"actor":{"display_login":"acl2jenkins"}}