{"push_id":1080620660,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"03b2bbb034ed3261dd3f8939f8213e2f5af642d9","before":"c95e5d2874ccd9d4e0e8f9594ce7ec8eadd19b2f","commits":[{"sha":"03b2bbb034ed3261dd3f8939f8213e2f5af642d9","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Introduction tweaks","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/03b2bbb034ed3261dd3f8939f8213e2f5af642d9"}]}