{"push_id":612477460,"size":2,"distinct_size":2,"ref":"refs/heads/codemirror","head":"a7e3ba496b401f0442352755cff277698101ce40","before":"068c63cf0708e91ed14ab6a38f80fe4e177f170a","commits":[{"sha":"d7539ede4e4885c113949958b60e1a096be89e19","author":{"email":"ab984089e918c5d77500817f128715e128d6b20e@cs.ucsd.edu","name":"Valentin Robert"},"message":"better tooltip","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/d7539ede4e4885c113949958b60e1a096be89e19"},{"sha":"a7e3ba496b401f0442352755cff277698101ce40","author":{"email":"ab984089e918c5d77500817f128715e128d6b20e@cs.ucsd.edu","name":"Valentin Robert"},"message":"phrasing","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/a7e3ba496b401f0442352755cff277698101ce40"}]}