{"push_id":2844578819,"size":1,"distinct_size":1,"ref":"refs/heads/parametric-hits","head":"738baf0e51b8254f7c21c9de7b1a3f996ea08c0d","before":"db96f9dbb71469e4c069c712f4e82d4d159f59c6","commits":[{"sha":"738baf0e51b8254f7c21c9de7b1a3f996ea08c0d","author":{"name":"Jonathan Sterling","email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com"},"message":"why did these files get deleted in the merge, lol","distinct":true,"url":"https://api.github.com/repos/RedPRL/redtt/commits/738baf0e51b8254f7c21c9de7b1a3f996ea08c0d"}]}
{"actor":{"display_login":"jonsterling"}}