{"push_id":1144373542,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a77e3f7819c322413b15d5e53970f52cb18e27f1","before":"f1426c3bd1dd5e8baa5bd185210e94f0a0373390","commits":[{"sha":"a77e3f7819c322413b15d5e53970f52cb18e27f1","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Make get_makefile_contents more robust\n\nThis should fix\nhttps://github.com/UniMath/UniMath/issues/233#issuecomment-223809197\nby turning lists into tuples.","distinct":true,"url":"https://api.github.com/repos/JasonGross/coq-tools/commits/a77e3f7819c322413b15d5e53970f52cb18e27f1"}]}
{"actor":{"display_login":"JasonGross"}}