{"push_id":1218727134,"size":1,"distinct_size":1,"ref":"refs/heads/patch-10","head":"d7e491f623acdf773c396bbb279a263c60375ee7","before":"139204928e55f92f02d3b3dd1d6746e34fdcdb88","commits":[{"sha":"d7e491f623acdf773c396bbb279a263c60375ee7","author":{"name":"Jason Gross","email":"7298f0ef53f11b987e31cc57a2822f169086d0c9@gmail.com"},"message":"Update coq_makefile.ml: printenv is now ::\n\nThis allows makefiles that `-include Makefile.coq` to add to the `printenv` rule.","distinct":true,"url":"https://api.github.com/repos/JasonGross/coq/commits/d7e491f623acdf773c396bbb279a263c60375ee7"}]}
{"actor":{"display_login":"JasonGross"}}