{"push_id":940594589,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8541489893caf1a87f33a9c085ffc5006f1fe479","before":"b02bd4362ddcdf4be80a6f99db229e4d793d9e75","commits":[{"sha":"8541489893caf1a87f33a9c085ffc5006f1fe479","author":{"email":"0ce7911e6479995d6c346d6f03eb723b5135309e@jle.im","name":"Justin Le"},"message":"fixed typo/forgotten change on export list for GHC.TypeLits.List","distinct":true,"url":"https://api.github.com/repos/mstksg/typelits-witnesses/commits/8541489893caf1a87f33a9c085ffc5006f1fe479"}]}