{"push_id":638807137,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"09b2b8144c05581f711e23d5a8a577469a75abed","before":"22e8e22352b054d5267cde339fe8f77be1119a39","commits":[{"sha":"5ecaaae3ce10467db550582becd738b97e758578","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Fix to accomodate null activity values.","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/5ecaaae3ce10467db550582becd738b97e758578"},{"sha":"a415af399c9bc66091367d57854b7f5e2a272fc8","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Better handling of JobManager (only created on demand)","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/a415af399c9bc66091367d57854b7f5e2a272fc8"},{"sha":"aed239fd227b228451096b514a8b2631a515d88f","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Added toggleRows() function.","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/aed239fd227b228451096b514a8b2631a515d88f"},{"sha":"7c7989505fdd3dc1fa242b78eb12212a58a35a03","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Update version to version 1.7","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/7c7989505fdd3dc1fa242b78eb12212a58a35a03"},{"sha":"ea83c2460feec57bb46721e5d1045fa451072dfd","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Updated to display tables using banded rows.","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/ea83c2460feec57bb46721e5d1045fa451072dfd"},{"sha":"3ff21a919b79fd41122490afce87fc3235870109","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Improved display of perservation list.","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/3ff21a919b79fd41122490afce87fc3235870109"},{"sha":"09b2b8144c05581f711e23d5a8a577469a75abed","author":{"email":"a47ee40bc0aa1bf737638ae2739daa096cebd3d3@uic.edu","name":"George Chlipala"},"message":"Clean up for OpenID authentication.","distinct":true,"url":"https://api.github.com/repos/chlige/cyanos/commits/09b2b8144c05581f711e23d5a8a577469a75abed"}]}