{"push_id":737175900,"size":1,"distinct_size":1,"ref":"refs/heads/js/subst-unification","head":"0e150e96725b55bd703b3baedd84615e59fa34cb","before":"2ce1c50879a6a85362ddae2777f80a808b784ddd","commits":[{"sha":"0e150e96725b55bd703b3baedd84615e59fa34cb","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"minor cleanup","distinct":true,"url":"https://api.github.com/repos/jonsterling/JonPRL/commits/0e150e96725b55bd703b3baedd84615e59fa34cb"}]}