{"push_id":802294776,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"3849c4607b9c5723401f1b7603952ad05b94b2e3","before":"2879541dfd22d46bcd23df7752771de5b69db364","commits":[{"sha":"67fff67ac3f8689396a2c2a8d35528c5c876eef1","author":{"email":"43c9f849426f67b21fd38c647be79102328b2168@gmail.com","name":"John McCabe-Dansted"},"message":"Add more CTL-like benchmarks","distinct":true,"url":"https://api.github.com/repos/gmatht/CTLStarTab/commits/67fff67ac3f8689396a2c2a8d35528c5c876eef1"},{"sha":"6ea62283133971fb50e6f08c3865502590c5d9ab","author":{"email":"43c9f849426f67b21fd38c647be79102328b2168@gmail.com","name":"John McCabe-Dansted"},"message":"Improve fuzz tests","distinct":true,"url":"https://api.github.com/repos/gmatht/CTLStarTab/commits/6ea62283133971fb50e6f08c3865502590c5d9ab"},{"sha":"3849c4607b9c5723401f1b7603952ad05b94b2e3","author":{"email":"43c9f849426f67b21fd38c647be79102328b2168@gmail.com","name":"John McCabe-Dansted"},"message":"Merge branch 'master' of github.com:gmatht/CTLStarTab\n\nConflicts:\n\tsrc/check.sh\n\tsrc/check_all.sh","distinct":true,"url":"https://api.github.com/repos/gmatht/CTLStarTab/commits/3849c4607b9c5723401f1b7603952ad05b94b2e3"}]}