{"push_id":617895234,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"728051abad1d0165d4bb28db038800ebb970cb67","before":"db65c52725dfe1d4dd74f2e7b9c28e3bde8246a4","commits":[{"sha":"22bb53b3aef34418cf39d1bdd0262e240bc6434f","author":{"email":"ba4a260f39811b21f1c8b88d34b4530da5ec658c@cs.cmu.edu","name":"Matt Gardner"},"message":"Some minor improvements to exploration mode in Driver","distinct":true,"url":"https://api.github.com/repos/matt-gardner/pra/commits/22bb53b3aef34418cf39d1bdd0262e240bc6434f"},{"sha":"728051abad1d0165d4bb28db038800ebb970cb67","author":{"email":"ba4a260f39811b21f1c8b88d34b4530da5ec658c@cs.cmu.edu","name":"Matt Gardner"},"message":"Fixed merge conflict","distinct":true,"url":"https://api.github.com/repos/matt-gardner/pra/commits/728051abad1d0165d4bb28db038800ebb970cb67"}]}