{"push_id":2705532762,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d6391b31b1056054420db503ae3f6e579418adaa","before":"a04c3e9ae1071b3e7cd636dfa707dc854c14557f","commits":[{"sha":"d6391b31b1056054420db503ae3f6e579418adaa","author":{"name":"michal wallace","email":"ff9b2ac6f7989551c504a955b0082b2c7a7a84e5@gmail.com"},"message":"TopSpace.thy: untangled Sentilles' proof text from my translation.","distinct":true,"url":"https://api.github.com/repos/tangentstorm/tangentlabs/commits/d6391b31b1056054420db503ae3f6e579418adaa"}]}
{"actor":{"display_login":"tangentstorm"}}