{"push_id":1171670670,"size":4,"distinct_size":0,"ref":"refs/heads/kestrel","head":"429ab3de3de13256e614af15fb6a5cd5725c014c","before":"a52a9ffd744add456ee945680427535073797d12","commits":[{"sha":"8528c5caa4485e1afa59e617f1c1d3cc7079a42b","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Add an argument to defaggregate-style B* binders so as to pass extra\narguments to accessors.  Add a little extra code to aig-bddify to allow\nfor better visibility when debugging BDD performance.","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/8528c5caa4485e1afa59e617f1c1d3cc7079a42b"},{"sha":"c207dbe0ef4af9f25d2d8c839fd2252af21e4903","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Merge remote-tracking branch 'remotes/origin/testing'","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/c207dbe0ef4af9f25d2d8c839fd2252af21e4903"},{"sha":"611151b9fe3f4d7815123cb48e298f222547e6ff","author":{"name":"Sol Swords","email":"3f922419f712e3b73ccf12375530689569d2ef4b@centtech.com"},"message":"Merge remote-tracking branch 'remotes/origin/testing'","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/611151b9fe3f4d7815123cb48e298f222547e6ff"},{"sha":"429ab3de3de13256e614af15fb6a5cd5725c014c","author":{"name":"David L. Rager","email":"3d2ab9c941a10e8adc4328f12cd36917e9102fba@gmail.com"},"message":"Changed licenses on a couple of files copyrighted by me","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/429ab3de3de13256e614af15fb6a5cd5725c014c"}]}
{"actor":{"display_login":"acoglio"}}