{"push_id":1439684576,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0c6db1844a01466a4109de93b674dc06f4caed45","before":"2ba86eb16d659a0f7f31a791d8c84a492b30cab5","commits":[{"sha":"0c6db1844a01466a4109de93b674dc06f4caed45","author":{"name":"Jacob Mitchell","email":"b8e547fced78ee88a7bbc299bde853fefa9528b4@member.fsf.org"},"message":"days 1-5 in mix of Coq and Python","distinct":true,"url":"https://api.github.com/repos/SeaRbSg/advent_of_code/commits/0c6db1844a01466a4109de93b674dc06f4caed45"}]}
{"actor":{"display_login":"jmitchell"}}