{"push_id":1229934293,"size":1,"distinct_size":1,"ref":"refs/heads/nateMSetAttempt","head":"3c09d8d2853713c1ce06b6fe2cfcc028867497ba","before":"b8b549a8b74ca9c5018b3cf54330692c5dba3ee1","commits":[{"sha":"3c09d8d2853713c1ce06b6fe2cfcc028867497ba","author":{"name":"ns196414","email":"81cbdb3a50e9369c0732fa82d1a674afab676c3a@ohio.edu"},"message":"Proofs","distinct":true,"url":"https://api.github.com/repos/gstew5/coq-tutorial-summer2016/commits/3c09d8d2853713c1ce06b6fe2cfcc028867497ba"}]}
{"actor":{"display_login":"neewamp"}}