{"push_id":1072644586,"size":4,"distinct_size":0,"ref":"refs/heads/master","head":"b017651484907d911c1ea6e4ffc67fedf61f74ef","before":"7f11b23eaa82f2dc837ae3e0169e030900b0d009","commits":[{"sha":"8afa222f22fec042734e62aad5e3ad32c5f1eb52","author":{"email":"9b67f4990d3363d5201c5e75f0972e76c8259de6@centtech.com","name":"Sol Swords"},"message":"FTY: Add book for defining a bitstruct type.  Experimental!","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/8afa222f22fec042734e62aad5e3ad32c5f1eb52"},{"sha":"9861a90502870fd74a1b4070dc87bd2a2eb4d12a","author":{"email":"9b67f4990d3363d5201c5e75f0972e76c8259de6@centtech.com","name":"Sol Swords"},"message":"fix breakage from reducing dependencies in wizard.lisp","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/9861a90502870fd74a1b4070dc87bd2a2eb4d12a"},{"sha":"d71a6e41beef599c26e028dd7c07382b12f4792c","author":{"email":"9b67f4990d3363d5201c5e75f0972e76c8259de6@centtech.com","name":"Sol Swords"},"message":"Merge remote-tracking branch 'remotes/origin/testing'","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/d71a6e41beef599c26e028dd7c07382b12f4792c"},{"sha":"b017651484907d911c1ea6e4ffc67fedf61f74ef","author":{"email":"48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","name":"David L. Rager"},"message":"Merge commit '7f11b23eaa82f2dc837ae3e0169e030900b0d009' into HEAD","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/b017651484907d911c1ea6e4ffc67fedf61f74ef"}]}