{"push_id":627003164,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0d27a483decc83d06002d8dc23cbdddbd72b22a5","before":"a126022700fc648dad9acaa7694af27ae705c3bb","commits":[{"sha":"0d27a483decc83d06002d8dc23cbdddbd72b22a5","author":{"email":"6ade48371d56b7243dc3b873367be659b38e94cd@byu.edu","name":"Eric Mercer"},"message":"First step on model for promela","distinct":true,"url":"https://api.github.com/repos/ericmercer/cwp-verification/commits/0d27a483decc83d06002d8dc23cbdddbd72b22a5"}]}