{"push_id":703795972,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"abab9d90099ce75831309baa3abc8211a7be0c18","before":"4b6b4d8cdd12902d166504ec3d96ca94705d81f6","commits":[{"sha":"abab9d90099ce75831309baa3abc8211a7be0c18","author":{"email":"4f48980fc048cb9de210d9556308af8661fa36cc@kerguelen.org","name":"Jaap Boender"},"message":"Inserted notebook between session and proof view","distinct":true,"url":"https://api.github.com/repos/jaapb/coq/commits/abab9d90099ce75831309baa3abc8211a7be0c18"}]}