{"push_id":2761153842,"size":2,"distinct_size":2,"ref":"refs/heads/correct-positive-composition","head":"d340603376c912cb0db7e9830def4e0ffaff100a","before":"62c4540d02274d46b48db66af4478b03dcf37605","commits":[{"sha":"43db56d5c66b9af347fbba761db6cbcd79c71633","author":{"name":"Jonathan Sterling","email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com"},"message":"time the elaboration of definitions","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/43db56d5c66b9af347fbba761db6cbcd79c71633"},{"sha":"d340603376c912cb0db7e9830def4e0ffaff100a","author":{"name":"Jonathan Sterling","email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com"},"message":"update rigid_ghcom","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/d340603376c912cb0db7e9830def4e0ffaff100a"}]}
{"actor":{"display_login":"jonsterling"}}