{"push_id":822651180,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"c1da42ac39aa10181073c8fcb98b7af7ddc097eb","before":"685515e3e139193a48ff3c6e308c5f783bad372d","commits":[{"sha":"22760af5ce059adf00bd67d0b81ef1d00a37ea36","author":{"email":"c4431aafd1f90d6e2f94187a7040251abaf4dd1d@gmail.com","name":"Jonathan Protzenko"},"message":"State: with MExplore instead of MOption.","distinct":true,"url":"https://api.github.com/repos/msprotz/proof-search-monad/commits/22760af5ce059adf00bd67d0b81ef1d00a37ea36"},{"sha":"12e6d25613b228a9307315e0fb3175551557f7f3","author":{"email":"c4431aafd1f90d6e2f94187a7040251abaf4dd1d@gmail.com","name":"Jonathan Protzenko"},"message":"Snapshot: non-working backtracking.","distinct":true,"url":"https://api.github.com/repos/msprotz/proof-search-monad/commits/12e6d25613b228a9307315e0fb3175551557f7f3"},{"sha":"c1da42ac39aa10181073c8fcb98b7af7ddc097eb","author":{"email":"c4431aafd1f90d6e2f94187a7040251abaf4dd1d@gmail.com","name":"Jonathan Protzenko"},"message":"Snapshot: with proper backtracking.","distinct":true,"url":"https://api.github.com/repos/msprotz/proof-search-monad/commits/c1da42ac39aa10181073c8fcb98b7af7ddc097eb"}]}