{"push_id":2925287801,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a4cd5f09f9eb935e1546741a9d254465ab748aa5","before":"0cb323e8fbef481bb4c6b935af7edfab7c3ca486","commits":[{"sha":"a4cd5f09f9eb935e1546741a9d254465ab748aa5","author":{"name":"sbiswal92","email":"c5a6c9ba69d5226ad820b77f8bde4c1465a5b140@iastate.edu"},"message":"Delete model.cpp","distinct":true,"url":"https://api.github.com/repos/sbiswal92/KripkeModelChecker/commits/a4cd5f09f9eb935e1546741a9d254465ab748aa5"}]}
{"actor":{"display_login":"sbiswal92"}}