{"push_id":669716243,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"71aba00ec426328e8f1b9b2c86c598ed517ceb31","before":"a793b3b577194ec237394ae4acc2e2f308be9336","commits":[{"sha":"71aba00ec426328e8f1b9b2c86c598ed517ceb31","author":{"email":"16a1dfef9f6bae5ffb2801e9dc74b137d78358cf@mattaponi.cs.virginia.edu","name":"Jamie"},"message":"new queens typechecks","distinct":true,"url":"https://api.github.com/repos/floydbe/reasoning-about-programs/commits/71aba00ec426328e8f1b9b2c86c598ed517ceb31"}]}