{"push_id":664341800,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aec190b8278570d2264e61b66f3f5e8954d3da96","before":"5a4e2fcbec729a604004fee7236704ee8019bfc2","commits":[{"sha":"aec190b8278570d2264e61b66f3f5e8954d3da96","author":{"email":"0731fdeb307910eeaae4e58897b7baaba45e054b@abhishek-new.cs.cornell.edu","name":"Abhishek Anand"},"message":"fixed a null-pointer bug causing the search tool to not work when no proof is active.","distinct":true,"url":"https://api.github.com/repos/aa755/nbcoq/commits/aec190b8278570d2264e61b66f3f5e8954d3da96"}]}