{"push_id":792004617,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6bc1044cd0b4cbfffac1ddf863a35109fe9c2cfc","before":"5e8abe177419540fb2572ddc523d92f40cea6f71","commits":[{"sha":"6bc1044cd0b4cbfffac1ddf863a35109fe9c2cfc","author":{"email":"d9cedbca2d400395ef0151e26258de0f190fddbe@gmail.com","name":"Vincent Rahli"},"message":"o Proved another squiggle rule for lambda.","distinct":true,"url":"https://api.github.com/repos/vrahli/NuprlInCoq/commits/6bc1044cd0b4cbfffac1ddf863a35109fe9c2cfc"}]}