{"push_id":1182959718,"size":1,"distinct_size":1,"ref":"refs/heads/improve-Xprint","head":"a1241d0e4b00bf5ab38986e10e66fcf05372ffee","before":"a1ef3bb1a846c4e4dc502901c14048ec5e6f37f7","commits":[{"sha":"a1241d0e4b00bf5ab38986e10e66fcf05372ffee","author":{"name":"Nicolas Stucki","email":"9dc66b4df4652e7c0b8b5c07b450f85149604f73@gmail.com"},"message":"Improve Xprint\n\n* Dont reprint a tree that hasent changed.\n* Highlight changes in yellow.","distinct":true,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/a1241d0e4b00bf5ab38986e10e66fcf05372ffee"}]}
{"actor":{"display_login":"nicolasstucki"}}