{"push_id":1076669190,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"662c794a9af94950a096fa39f75b42037ced4734","before":"c354f3cfb6036c3d8127c5f72592eaffbf4ece9a","commits":[{"sha":"662c794a9af94950a096fa39f75b42037ced4734","author":{"email":"7152fddaab6b862ddf6ab3bdf34a1bef50c0f1c3@utexas.edu","name":"Chris Fernald"},"message":"one last assertion","distinct":true,"url":"https://api.github.com/repos/cfernald/Distributed_Promela_Algos/commits/662c794a9af94950a096fa39f75b42037ced4734"}]}