{"push_id":1312832594,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3215faf0d494f4ac14d6e10172329a161df192c4","before":"ee03240d3aebb3fe1a952f0043393bce26c5adf2","commits":[{"sha":"3215faf0d494f4ac14d6e10172329a161df192c4","author":{"name":"Jonathan Sterling","email":"1bde51fb45d31234a937eabeae454399af21dc56@jonmsterling.com"},"message":"make dev calculus notation less annoying (close #133)","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/3215faf0d494f4ac14d6e10172329a161df192c4"}]}
{"actor":{"display_login":"jonsterling"}}