{"push_id":2617991376,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5bae00fdfa10ada3d274cbebf25e75c70445ec6a","before":"f6857fb3a5eb245560af5cd9399fd5d382d941ba","commits":[{"sha":"5bae00fdfa10ada3d274cbebf25e75c70445ec6a","author":{"name":"Stephan Boyer","email":"f965a4a1b587c4e3c1892642aed563e43902502b@stephanboyer.com"},"message":"Initial commit","distinct":true,"url":"https://api.github.com/repos/stepchowfun/coq-intro/commits/5bae00fdfa10ada3d274cbebf25e75c70445ec6a"}]}
{"actor":{"display_login":"stepchowfun"}}