{"push_id":2406757837,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a7c6ff78cb03920862e71eb49dec2b1c1a6de8e9","before":"e04e72b6e6135470ab30899ecd5b00f4502efffc","commits":[{"sha":"93391580b2b317c41ad60b05fc36403ebae456bc","author":{"name":"Guillaume Martres","email":"aa72171fda491727f5f21128a0c723d838f42e00@ubuntu.com"},"message":"Fix ownership of symbols unpickled inside Bind nodes\n\nThey should be owned by the Bind symbol owner, not by the Bind symbol\nitself.","distinct":true,"url":"https://api.github.com/repos/lampepfl/dotty/commits/93391580b2b317c41ad60b05fc36403ebae456bc"},{"sha":"a7c6ff78cb03920862e71eb49dec2b1c1a6de8e9","author":{"name":"Guillaume Martres","email":"aa72171fda491727f5f21128a0c723d838f42e00@ubuntu.com"},"message":"Merge pull request #4121 from dotty-staging/fix/tasty-bind-owner\n\nFix ownership of symbols unpickled inside Bind nodes","distinct":true,"url":"https://api.github.com/repos/lampepfl/dotty/commits/a7c6ff78cb03920862e71eb49dec2b1c1a6de8e9"}]}
{"actor":{"display_login":"smarter"}}