{"push_id":818777553,"size":1,"distinct_size":1,"ref":"refs/heads/strawman2","head":"235b6a016df70a5d97f851fae893f0d62e6db4bd","before":"5244c5cf1f3d2ff2917a09e9760f9ad887ca4ce0","commits":[{"sha":"235b6a016df70a5d97f851fae893f0d62e6db4bd","author":{"email":"7f6c00a5ae822b32e4d88b51f9d6401090c9b740@gmail.com","name":"Dmitry Petrashko"},"message":"LengthType: make it be a custom value class.","distinct":true,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/235b6a016df70a5d97f851fae893f0d62e6db4bd"}]}