{"push_id":791226888,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2c1818b23b3fcca904f21dcc6849ae1ce507f1ae","before":"879cb68b8a17c309a9c6f491e3f79d0508db5c8f","commits":[{"sha":"2c1818b23b3fcca904f21dcc6849ae1ce507f1ae","author":{"email":"2be11ce27c7a306146f9ca8d0eb7a7bd2f16f4b2@thinkpad-t440","name":"wenhu"},"message":"simple change","distinct":true,"url":"https://api.github.com/repos/hustchenwenhu/rwth_lisa/commits/2c1818b23b3fcca904f21dcc6849ae1ce507f1ae"}]}