{"push_id":1214129559,"size":1,"distinct_size":1,"ref":"refs/heads/annotations","head":"e69603876ffe53f17299bd47b0397b6ca9927b63","before":"78bc8ed885177b3aa6bdf1dc6e8c789d97fadb16","commits":[{"sha":"e69603876ffe53f17299bd47b0397b6ca9927b63","author":{"name":"Niki Vazou","email":"7db045d26dbf1a2050c888dad88930011f46af07@awakenetworks.com"},"message":"annotations","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/e69603876ffe53f17299bd47b0397b6ca9927b63"}]}
{"actor":{"display_login":"nikivazou"}}