{"push_id":561356350,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6c4f765ee63629e17170eb7a94fb255f925f9cf8","before":"a1ae58e9596db8ba4d28d0b47f610501c364f66b","commits":[{"sha":"70e1d5bf1eb8f2fca9d1bd9007e3015cee268cc5","author":{"email":"ab984089e918c5d77500817f128715e128d6b20e@cs.ucsd.edu","name":"Valentin Robert"},"message":"fixed small bug in removing fake nodes","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/70e1d5bf1eb8f2fca9d1bd9007e3015cee268cc5"},{"sha":"6c4f765ee63629e17170eb7a94fb255f925f9cf8","author":{"email":"ab984089e918c5d77500817f128715e128d6b20e@cs.ucsd.edu","name":"Valentin Robert"},"message":"comment for future self","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/6c4f765ee63629e17170eb7a94fb255f925f9cf8"}]}