{"push_id":756710702,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"99016da48a95a28f16f17a9f25c3785d7f6b3e59","before":"36a1b8e72cce35b86f524d28e00b50b838322c15","commits":[{"sha":"99016da48a95a28f16f17a9f25c3785d7f6b3e59","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"yikes, bogus type for sequence","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/99016da48a95a28f16f17a9f25c3785d7f6b3e59"}]}