{"push_id":2877180235,"size":4,"distinct_size":1,"ref":"refs/heads/fix-rmarkdown","head":"f4660296120e7618bf4dc5aa1c1dc02283bb8fa1","before":"171a5051ad55b90683bbf0ef59c7bbfd7c8459d4","commits":[{"sha":"09f6c3f14f5b0f16efbf33cc6e318b6ff1944a33","author":{"name":"William A. Stein","email":"584ffcd3fdcad2a517149fc91d08e11f4054c636@sagemath.com"},"message":"fix string interp","distinct":false,"url":"https://api.github.com/repos/sagemathinc/cocalc/commits/09f6c3f14f5b0f16efbf33cc6e318b6ff1944a33"},{"sha":"76116ecc899fa2279d0d0e09a27f41ccb62ca5f1","author":{"name":"William A. Stein","email":"584ffcd3fdcad2a517149fc91d08e11f4054c636@sagemath.com"},"message":"fix some tiny lean issues","distinct":false,"url":"https://api.github.com/repos/sagemathinc/cocalc/commits/76116ecc899fa2279d0d0e09a27f41ccb62ca5f1"},{"sha":"e6ce653d3e55d990fa1e9eba587262a9e8e11d6f","author":{"name":"William A. Stein","email":"584ffcd3fdcad2a517149fc91d08e11f4054c636@sagemath.com"},"message":"improve lean completions a lot","distinct":false,"url":"https://api.github.com/repos/sagemathinc/cocalc/commits/e6ce653d3e55d990fa1e9eba587262a9e8e11d6f"},{"sha":"f4660296120e7618bf4dc5aa1c1dc02283bb8fa1","author":{"name":"Harald Schilly","email":"628550de800d37bb8d59f1cd117d291b017e4336@sagemath.com"},"message":"Merge remote-tracking branch 'origin/master' into fix-rmarkdown","distinct":true,"url":"https://api.github.com/repos/sagemathinc/cocalc/commits/f4660296120e7618bf4dc5aa1c1dc02283bb8fa1"}]}
{"actor":{"display_login":"haraldschilly"}}