{"push_id":786963734,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ef6d8e6beb345b6f1f2acb066988d138bdde0876","before":"1e575006dacd42b8c8a63e1384888a9879368f82","commits":[{"sha":"ef6d8e6beb345b6f1f2acb066988d138bdde0876","author":{"email":"7c08f501a801cca51e1c2c1b31d51d718ac20f58@buffalo.edu","name":"Oliver Kennedy"},"message":"Working towards pattern matching code","distinct":true,"url":"https://api.github.com/repos/UBOdin/jitd-synthesis/commits/ef6d8e6beb345b6f1f2acb066988d138bdde0876"}]}