{"push_id":1251780231,"size":4,"distinct_size":4,"ref":"refs/heads/v8.6","head":"63aaabd93d32a4982803daff44900ecb0acb5b76","before":"d9009ceedf928ef9567f7b3045c46df00662c21d","commits":[{"sha":"166a8c2e15dfa43c3178f70d515dfde1c5f15fad","author":{"name":"Jason Gross","email":"7298f0ef53f11b987e31cc57a2822f169086d0c9@gmail.com"},"message":"Add a renaming of Tacexpr.TacDynamic","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/166a8c2e15dfa43c3178f70d515dfde1c5f15fad"},{"sha":"d47273cea29099c296e1b702ab25aa8272ab6831","author":{"name":"Jason Gross","email":"7298f0ef53f11b987e31cc57a2822f169086d0c9@gmail.com"},"message":"Allow `STDTIME=foo make`\n\nThis gives better behavior both when including the `coq_makefile` `Makefile` into other `Makefile`s and when setting `STDTIME` through an environment variable.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/d47273cea29099c296e1b702ab25aa8272ab6831"},{"sha":"68d5c06ba59fa57037826b2286d3086bf57d79db","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Merge PR #237 into v8.6","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/68d5c06ba59fa57037826b2286d3086bf57d79db"},{"sha":"63aaabd93d32a4982803daff44900ecb0acb5b76","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Merge PR #250 into v8.6","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/63aaabd93d32a4982803daff44900ecb0acb5b76"}]}
{"actor":{"display_login":"letouzey"}}