{"push_id":1308240370,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04afb5d22f24d2c6c80a7ebc07eeb65071b713c5","before":"1937a23ce8767112e7c1a62343b32c726ceab2bc","commits":[{"sha":"04afb5d22f24d2c6c80a7ebc07eeb65071b713c5","author":{"name":"Jon Sterling","email":"1bde51fb45d31234a937eabeae454399af21dc56@jonmsterling.com"},"message":"add syntax for symmetry rule (close #118)","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/04afb5d22f24d2c6c80a7ebc07eeb65071b713c5"}]}
{"actor":{"display_login":"jonsterling"}}