{"push_id":622006701,"size":1,"distinct_size":1,"ref":"refs/heads/strings","head":"3f19eaccfc41bdebc89408279bbaa511f5b085e7","before":"d1cafa9f45b3a5578e31bc7e13a8d25638e346c1","commits":[{"sha":"3f19eaccfc41bdebc89408279bbaa511f5b085e7","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"Niki Vazou"},"message":"Update travis","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/3f19eaccfc41bdebc89408279bbaa511f5b085e7"}]}