{"push_id":728270138,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"00e4fcea692831bee7b4e18ecd042912dd27c6bb","before":"b55835ed4f7e8ef9c21578438fb180b61715d2c0","commits":[{"sha":"00e4fcea692831bee7b4e18ecd042912dd27c6bb","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Balance the last page","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/00e4fcea692831bee7b4e18ecd042912dd27c6bb"}]}