{"push_id":938091444,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dc484294ad14a729ee8cabd99d4e4c21d274898c","before":"d31e8ebf9f18eb0120890e43386b2b35750d98aa","commits":[{"sha":"dc484294ad14a729ee8cabd99d4e4c21d274898c","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Fancy syntax for digamma rule","distinct":true,"url":"https://api.github.com/repos/jonsterling/agda-bar-induction/commits/dc484294ad14a729ee8cabd99d4e4c21d274898c"}]}