{"push_id":2474411055,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"18aaa6a20ed223227cc4c5c249c49c08dc09ba33","before":"562de3ef1c398058eaa38bf35c02f8ea2ed1a963","commits":[{"sha":"18aaa6a20ed223227cc4c5c249c49c08dc09ba33","author":{"name":"Robert Rand","email":"2db42d58568d1d963dce8696605bcaafecceb5b3@seas.upenn.edu"},"message":"new HOAS_equiv, proof of theorem 4.5","distinct":true,"url":"https://api.github.com/repos/jpaykin/QWIRE/commits/18aaa6a20ed223227cc4c5c249c49c08dc09ba33"}]}
{"actor":{"display_login":"rnrand"}}