{"push_id":609847565,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e00e249158e7a1dd2db50393d327ab2461751d32","before":"da87d928f22f27fcecceb409b39a53131b09b8d3","commits":[{"sha":"e00e249158e7a1dd2db50393d327ab2461751d32","author":{"email":"011d4fe9551dff49e6d483467b1155d140f42ce5@gmail.com","name":"Cale Sennett"},"message":"finish parsing state machine file","distinct":true,"url":"https://api.github.com/repos/calesennett/ctl-model-checker/commits/e00e249158e7a1dd2db50393d327ab2461751d32"}]}