{"push_id":2937366717,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c98ea09ce6dd4b70de5496274594293518ab810d","before":"94ba265c0a31b7f64f35f1517d5864ee3a5814c0","commits":[{"sha":"c98ea09ce6dd4b70de5496274594293518ab810d","author":{"name":"Matt McDonald","email":"5064f53897fb9a7ba62be98283b42cad9fea2782@gmail.com"},"message":"Add initial progress on unification.","distinct":true,"url":"https://api.github.com/repos/dandougherty/mqpCoq2018/commits/c98ea09ce6dd4b70de5496274594293518ab810d"}]}
{"actor":{"display_login":"mattmcd25"}}