{"push_id":1097405433,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3f67f6636901021bf603aefd0730088e2c7127d5","before":"7301bbf785e9e76edce1363a7fe7341bd3a3bfb3","commits":[{"sha":"3f67f6636901021bf603aefd0730088e2c7127d5","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Ch. 2 tweaks","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/3f67f6636901021bf603aefd0730088e2c7127d5"}]}