{"push_id":1070768227,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4c3c1cba832a69fa969d9254f74c153e5a560ac1","before":"e1dc96bafb04bcf56fbe75decac9b3b5618cca26","commits":[{"sha":"4c3c1cba832a69fa969d9254f74c153e5a560ac1","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"add abstract","distinct":true,"url":"https://api.github.com/repos/jonsterling/nominal-lcf-paper/commits/4c3c1cba832a69fa969d9254f74c153e5a560ac1"}]}