{"push_id":763222087,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c3bbdbb15781388a0db8936006e31ff8171c750a","before":"3a48b40f785a2ce7d7c9cf02b1a193eb98d99e44","commits":[{"sha":"c3bbdbb15781388a0db8936006e31ff8171c750a","author":{"email":"65ebdba617161c39b24b5a797c738a0ac09d8c97@alum.mit.edu","name":"Nada Amin"},"message":"fix sela2 case and prove it in stp2_substitute","distinct":true,"url":"https://api.github.com/repos/TiarkRompf/minidot/commits/c3bbdbb15781388a0db8936006e31ff8171c750a"}]}