{"push_id":1153604281,"size":43,"distinct_size":0,"ref":"refs/heads/master","head":"04c7db29eef14c1f9043ae0f168ba2fe66f0a7a1","before":"c37d1262230d264f8edd8757ff2409dd8c5efbbb","commits":[{"sha":"bbcba3d5f8f0eab3ade0b9e2fda3b8a32e4c47b1","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from KestrelInstitute/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/bbcba3d5f8f0eab3ade0b9e2fda3b8a32e4c47b1"},{"sha":"4a968ec8cfa45132d5dc83b51509e955bc49bcfd","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from KestrelInstitute/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/4a968ec8cfa45132d5dc83b51509e955bc49bcfd"},{"sha":"151e8f44434b296101db1882024a0001824a8941","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/151e8f44434b296101db1882024a0001824a8941"},{"sha":"d049517e1d0ca1f5c792f0fdf077252d51322d7c","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/d049517e1d0ca1f5c792f0fdf077252d51322d7c"},{"sha":"a9e640e9dbf4ba5a461f9fb8119ae32ce1a059b8","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from KestrelInstitute/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/a9e640e9dbf4ba5a461f9fb8119ae32ce1a059b8"},{"sha":"875c23327721e32a843884eb2e4b3900c7e995f5","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/875c23327721e32a843884eb2e4b3900c7e995f5"},{"sha":"c11c7b6326904d5d814c92beeff43746e5bda10a","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/c11c7b6326904d5d814c92beeff43746e5bda10a"},{"sha":"a6605b0a19e6cf3489b3254eebd1764f8939313c","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/a6605b0a19e6cf3489b3254eebd1764f8939313c"},{"sha":"cde952ba49a35a4346261b2c34ceadaa86e84457","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from KestrelInstitute/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/cde952ba49a35a4346261b2c34ceadaa86e84457"},{"sha":"213cf239646edb4019bbfe08242a59f2ab57a175","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/213cf239646edb4019bbfe08242a59f2ab57a175"},{"sha":"8725a5d2b696d956aa306ec7d92537b16609ab33","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/8725a5d2b696d956aa306ec7d92537b16609ab33"},{"sha":"38c078191b310d5d33d22bd6cdd2d53d01a8fd14","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/38c078191b310d5d33d22bd6cdd2d53d01a8fd14"},{"sha":"64d7f3b7d631329021050f9dec1ad991db1c1ead","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/64d7f3b7d631329021050f9dec1ad991db1c1ead"},{"sha":"4d9de962771b098ae7d4bc3e698f7f8b6f8cd754","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/4d9de962771b098ae7d4bc3e698f7f8b6f8cd754"},{"sha":"38d6e87bfd7e8ed941e8a4068e6ea884652a79bb","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from KestrelInstitute/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/38d6e87bfd7e8ed941e8a4068e6ea884652a79bb"},{"sha":"0d1525adde9995583725a2e297b8bc6a10c3e871","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/0d1525adde9995583725a2e297b8bc6a10c3e871"},{"sha":"694c6fccc2645c1bc22dc52a7a99a1840040338b","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/694c6fccc2645c1bc22dc52a7a99a1840040338b"},{"sha":"8812eb00715b409156554cf17c5ba94143c39002","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/8812eb00715b409156554cf17c5ba94143c39002"},{"sha":"51464fbb043f1af3439fb22fa333b7235782da87","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/51464fbb043f1af3439fb22fa333b7235782da87"},{"sha":"838451b6f411a81e6d3b23f883dcf071b044e18d","author":{"name":"Eric Smith","email":"d6531ce2e3f468bfc1bebbb2d4cf8dca48ba5047@kestrel.edu"},"message":"Merge from acl2/acl2.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/838451b6f411a81e6d3b23f883dcf071b044e18d"}]}
{"actor":{"display_login":"acl2jenkins"}}