{"push_id":1049309712,"size":1,"distinct_size":1,"ref":"refs/heads/update","head":"743935f885dd3a72f919aca537f3d0571921e66d","before":"3f92188821743f17d317906176ad013db5bf0f83","commits":[{"sha":"743935f885dd3a72f919aca537f3d0571921e66d","author":{"email":"a579be5273d882c14d5c1ed95422198a487fe71b@gmail.com","name":"Doug Woos"},"message":"don't duplicate StepRelations stuff from Net.v","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/743935f885dd3a72f919aca537f3d0571921e66d"}]}