{"push_id":650809503,"size":1,"distinct_size":1,"ref":"refs/heads/pdria","head":"f5697143cc52874d19f5586cbf7ff603f3fe5151","before":"066277b561491c14760e1b83ae3fd34293ee3975","commits":[{"sha":"f5697143cc52874d19f5586cbf7ff603f3fe5151","author":{"email":"0593ee2c61c98f5251f5b024b62965ff8022c5b2@uiowa.edu","name":"john bodeen"},"message":"Fixed push/pop issues","distinct":true,"url":"https://api.github.com/repos/jbodeen/kind2/commits/f5697143cc52874d19f5586cbf7ff603f3fe5151"}]}